PCF + टाइमआउट के लिए Escardó का मीट्रिक सिमेंटिक पूरी तरह से अमूर्त है?


11

अपने 1999 के वर्कशॉप पेपर "ए मेट्रिक मॉडल ऑफ पीसीएफ" में , मार्टिन एस्कार्डो ने दिखाया कि पूर्ण अल्ट्रामेट्रिक स्पेस और नोक्सपैंसिव मैप्स की श्रेणी में पीसीएफ की सरल व्याख्या देना संभव है।

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

  1. क्या किसी ने इसकी जांच की है, और यदि हां, तो इसका जवाब क्या है?
  2. क्या PCF + टाइमआउट उच्च प्रकारों सहित ट्यूरिंग मशीनों के समान कार्यों का एहसास करता है?

(एक तरफ के रूप में, आप पाठ में कैसे उच्चारण डालते हैं? मैंने उनके पहले और अंतिम दोनों नामों से एक उच्चारण छोड़ दिया है। EDIT: नाम तय किया गया है। मैं इस अभिभावक को छोड़ रहा हूं ताकि पोस्ट पर टिप्पणी करना जारी रहे समझ।)


2
Ädva çéd computerš sućh पर मैक टाइपिंग मार्टीन होटेलज़ एस्कार्डो ó, Π और ϖ के रूप में आसान है।
बाउर

2
ΣνđƔąņ ισ αλσω åĕðćσ!
रादु ग्रिगोोरे

1
मैं बहुत है कि सुनने के लिए खुश हूँ।
बाउर

2
@Andrej, मुझे नहीं लगता कि आपने जो कहा है वह वास्तव में समझ में आता है :), लेकिन हिंदी सुंदर है :)
सुरेश वेंकट

1
Google अनुवाद निश्चित रूप से सोचता है कि यह समझ में आता है :-)
गर्लफ्रेंड Bauer

जवाबों:


11

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

दूसरी ओर, मुझे पूरा यकीन है कि जॉन लॉन्गले ओपस मैग्नम "कुछ निश्चित प्रकार की संरचनाओं की सर्वव्यापकता पर" (कंप्यूटर साइंस में गणितीय संरचनाएं 17 (5) (2007), 841--953) का अर्थ है कि उच्च-क्रम के कार्य। पीसीएफ + टाइमआउट में निश्चित रूप से आनुवंशिक रूप से प्रभावी वाले हैं।


अभी भी पूर्ण अमूर्तता पर कोई शब्द नहीं है, लेकिन आपने प्रश्न 2 का उत्तर दिया है, इसलिए इसे स्वीकार किया जाता है।
नील कृष्णस्वामी

1
मार्टिन कहते हैं कि किसी ने भी पूरी तरह से अमूर्तता के बारे में नहीं सोचा। वह बताते हैं कि यदि आप प्रत्येक प्रकार के लिए एक घने अनुक्रम को परिभाषित कर सकते हैं, तो एक पूर्ण अमूर्त अनुसरण इस प्रकार है, एक प्रकार दिया गया t, int -> tपीसीएफ + टाइमआउट में एक अनुक्रम को परिभाषित करें जो कि अल्ट्रामेट्रिक के संबंध में घना है t
कन्या बाउर
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.