अपने 1999 के वर्कशॉप पेपर "ए मेट्रिक मॉडल ऑफ पीसीएफ" में , मार्टिन एस्कार्डो ने दिखाया कि पूर्ण अल्ट्रामेट्रिक स्पेस और नोक्सपैंसिव मैप्स की श्रेणी में पीसीएफ की सरल व्याख्या देना संभव है।
उसने दिखाया कि यह मॉडल पर्याप्त था, और यह टाइमआउट निर्माण के अलावा मॉडल बना सकता है (यानी, एक ऑपरेटर जो कुछ सीमित चरणों के लिए अपना तर्क देगा, और या तो एक उत्तर दें या त्रुटि का संकेत दें यदि यह भीतर समाप्त होने में विफल रहा। समय सीमा)। फिर उन्होंने सुझाव दिया कि यह जांचना स्वाभाविक होगा कि क्या पीसीएफ + टाइमआउट के संबंध में मीट्रिक मॉडल पूरी तरह से अमूर्त था।
- क्या किसी ने इसकी जांच की है, और यदि हां, तो इसका जवाब क्या है?
- क्या PCF + टाइमआउट उच्च प्रकारों सहित ट्यूरिंग मशीनों के समान कार्यों का एहसास करता है?
(एक तरफ के रूप में, आप पाठ में कैसे उच्चारण डालते हैं? मैंने उनके पहले और अंतिम दोनों नामों से एक उच्चारण छोड़ दिया है। EDIT: नाम तय किया गया है। मैं इस अभिभावक को छोड़ रहा हूं ताकि पोस्ट पर टिप्पणी करना जारी रहे समझ।)