इस सवाल के बारे में है वहाँ किसी भी ज्ञात प्रतिवर्ती ट्यूरिंग tarpits, कर रहे हैं कि क्या जहां के अर्थ में "प्रतिवर्ती" का अर्थ है एक्सेलसेन और Glück , और "tarpit" एक बहुत अधिक अनौपचारिक अवधारणा है (और शब्द का एक बहुत अच्छा विकल्प नहीं हो सकता है), लेकिन मैं यह समझाने की पूरी कोशिश करूंगा कि मुझे इससे क्या मतलब है।
मुझे "तिरपिट" से क्या मतलब है
गणना के कुछ मॉडल किसी तरह से उपयोगी होने के लिए डिज़ाइन किए गए हैं। अन्य केवल ट्यूरिंग पूर्ण होने के लिए होते हैं और वास्तव में कोई विशेष उपयोगी गुण नहीं होते हैं; इन्हें "ट्यूरिंग टारपीट्स" के रूप में जाना जाता है। उदाहरणों में भाषा ब्रेनफक , नियम 110 सेलुलर ऑटोमेटन और भाषा बिटवाइक साइक्लिक टैग शामिल हैं (जो मुझे पसंद हैं क्योंकि इसे लागू करना बहुत आसान है और किसी भी बाइनरी स्ट्रिंग एक वैध कार्यक्रम है)।
"ट्यूरिंग टारपीट" की कोई औपचारिक परिभाषा नहीं है, लेकिन इस प्रश्न के लिए मैं इसका उपयोग एक साधारण प्रणाली ("नियमों" की एक छोटी संख्या होने के संदर्भ में) करने के लिए कर रहा हूं, जो कि "बस होता है" ट्यूरिंग पूर्ण होने के बिना, बिना इसकी आंतरिक स्थिति का कोई स्पष्ट अर्थ है। मेरे उद्देश्यों के लिए सबसे महत्वपूर्ण पहलू स्पष्ट शब्दार्थों की कमी के बजाय नियमों की सादगी है। मूल रूप से हम उन चीजों के बारे में बात कर रहे हैं, जिनके बारे में स्टीफन वोल्फ्राम ने एक बार एक बहुत बड़ी पुस्तक लिखी थी, हालांकि उन्होंने "टार्प" शब्द का उपयोग नहीं किया था।
मेरा मतलब है "प्रतिवर्ती"
मैं प्रतिवर्ती संगणना में दिलचस्पी रखता हूं। विशेष रूप से, मैं उन भाषाओं में रुचि रखता हूं जो आर-ट्यूरिंग पूर्ण हैं, एक्सलसन और ग्लुक के अर्थ में, जिसका अर्थ है कि वे प्रत्येक कम्प्यूटेशनल इंजेक्शन फ़ंक्शन की गणना कर सकते हैं, और केवल इंजेक्शन कार्यों की गणना कर सकते हैं। अब, गणना के कई मॉडल हैं जो इस अर्थ में प्रतिवर्ती हैं, जैसे कि एक्सलसन की प्रतिवर्ती सार्वभौमिक ट्यूरिंग मशीन , या उच्च-स्तरीय प्रतिवर्ती भाषा जानूस । (साहित्य में कई अन्य उदाहरण हैं; यह शोध का एक सक्रिय क्षेत्र है।)
यह ध्यान दिया जाना चाहिए कि एक्सलसन और ग्लुक की r-Turing पूर्णता की परिभाषा बेनेट के कारण सामान्य दृष्टिकोण की तुलना में प्रतिवर्ती कंप्यूटिंग के लिए एक अलग दृष्टिकोण है। बेनेट के दृष्टिकोण में एक प्रणाली को "कचरा डेटा" का उत्पादन करने की अनुमति है जिसे गणना के अंत में फेंक दिया जाता है; ऐसी परिस्थितियों में एक प्रतिवर्ती प्रणाली ट्यूरिंग पूर्ण हो सकती है। हालांकि, एक्सलसन और ग्लुक के दृष्टिकोण में, सिस्टम को ऐसे "जंक डेटा" का उत्पादन करने की अनुमति नहीं है, जो समस्याओं की श्रेणी को प्रतिबंधित कर सकता है। (इसलिए, "ट्यूरिंग ट्यूर" के बजाय "आर-ट्यूरिंग पूर्ण"।)
नोट: एक्सेलसेन और ग्लुक पेपर एक पेवेल के पीछे है। यह दुर्भाग्यपूर्ण है - मेरी जानकारी के अनुसार वर्तमान में r- ट्यूरिंग पूर्णता के विषय में कोई भी गैर-भुगतान संसाधन नहीं है। यदि मेरे पास समय है तो मैं एक विकिपीडिया पृष्ठ शुरू करने की कोशिश करूंगा, लेकिन कोई वादा नहीं।
मैं जिस चीज़ की तलाश कर रहा हूँ
ऊपर उल्लिखित प्रतिवर्ती कंप्यूटिंग के उदाहरण सभी हैं बल्कि "शब्दार्थ लादेन" हैं। अधिकांश संदर्भों में यह एक अच्छी बात है, लेकिन इसका मतलब है कि प्रत्येक समय कदम पर अपने राज्य को अपडेट करने के लिए आवश्यक नियम काफी जटिल हैं। मैं प्रतिवर्ती कंप्यूटिंग के "tarpits" की तलाश कर रहा हूं। अर्थात्, सरल नियमों के साथ अधिक-या-कम मनमानी प्रणालियां जो "बस होती हैं" पूरी तरह से आर-ट्यूरिंग भाषाएं हैं। मैं दोहराता हूं कि मैं जो कुछ भी देख रहा हूं उसकी कोई औपचारिक परिभाषा नहीं है, लेकिन जब मैं इसे देखूंगा, तो मुझे पता चल जाएगा, और मुझे लगता है कि इसके बारे में पूछना एक उचित बात है।
ऐसी कई चीजें हैं जो मुझे पता है कि बिल में लगभग फिट हैं, लेकिन काफी नहीं। कई प्रतिवर्ती सेलुलर ऑटोमेटा हैं जिन्हें ट्यूरिंग पूर्ण दिखाया गया है। लैंग्टन की चींटी (एक तरह की दो-आयामी ट्यूरिंग मशीन जिसमें काफी मनमाना और काफी सरल प्रतिवर्ती राज्य संक्रमण फ़ंक्शन है) भी ट्यूरिंग पूर्ण है, जब तक कि इसकी प्रारंभिक स्थितियों में अनंत दोहराई जाने वाली पैटर्न शामिल हैं। हालाँकि, इन प्रणालियों के साथ, यह उनके राज्य से मानचित्रण को "आउटपुट" में इस तरह से परिभाषित करने के लिए तुच्छ नहीं है कि कोई भी जंक डेटा फेंका न जाए। मुझे उन प्रणालियों में विशेष रूप से दिलचस्पी है जिन्हें इनपुट लेने के बारे में सोचा जा सकता है, इस पर कुछ अनुक्रम (प्रतिवर्ती) परिवर्तनों का प्रदर्शन करते हैं, और फिर (यदि वे समाप्त हो जाते हैं) कुछ आउटपुट लौटाते हैं।
(मैं उम्मीद कर रहा हूँ कि यह सवाल लंबर कैलकुलस के एक प्रतिवर्ती बराबर के बारे में मेरे पिछले संबंधित से जवाब देने में आसान होगा ।)