मैं बस रुकने की समस्या का एक और स्पष्टीकरण पढ़ रहा था, और यह मुझे उन सभी समस्याओं के बारे में सोच रहा था जो मैंने देखा है कि उदाहरणों के रूप में अनंत क्रम शामिल हैं। लेकिन मैं अपने कार्यक्रमों में अनंत दृश्यों का उपयोग कभी नहीं करता - वे बहुत लंबा लेते हैं। सभी वास्तविक दुनिया अनुप्रयोगों में निचले और ऊपरी सीमाएं होती हैं। यहां तक कि वास्तविक भी वास्तविक रूप से वास्तविक नहीं हैं - वे लगभग 32/64 बिट्स आदि के रूप में संग्रहीत हैं।
तो सवाल यह है कि क्या कार्यक्रमों का एक सबसेट है जो निर्धारित किया जा सकता है कि क्या वे रुकते हैं? क्या यह अधिकांश कार्यक्रमों के लिए पर्याप्त है। क्या मैं भाषा के निर्माण का एक सेट बना सकता हूं जिसे मैं किसी कार्यक्रम की 'स्थिरता' निर्धारित कर सकता हूं। मुझे यकीन है कि इससे पहले कहीं अध्ययन किया गया है ताकि किसी भी संकेत की सराहना की जाएगी। भाषा पूरी तरह से ट्यूरिंग नहीं होगी, लेकिन क्या लगभग पूरी तरह से ट्यूरिंग जैसी कोई चीज है जो काफी अच्छी है?
स्वाभाविक रूप से पर्याप्त इस तरह के एक निर्माण को लूप के दौरान पुनरावृत्ति और अनबाउंड को बाहर करना होगा, लेकिन मैं आसानी से पर्याप्त के बिना एक कार्यक्रम लिख सकता हूं।
एक उदाहरण के रूप में मानक इनपुट से पढ़ना बाध्य करना होगा, लेकिन यह काफी आसान है - मैं अपने इनपुट को 10,000,000 वर्णों आदि तक सीमित कर दूंगा, जो समस्या डोमेन पर निर्भर करता है।
तिया
[अद्यतन करें]
टिप्पणियों और उत्तरों को पढ़ने के बाद शायद मुझे अपने प्रश्न को शांत करना चाहिए।
किसी दिए गए प्रोग्राम के लिए, जिसमें सभी इनपुट्स बंधे हुए हैं, आप निर्धारित कर सकते हैं कि प्रोग्राम रुकता है या नहीं। यदि हां, तो भाषा की बाधाएं क्या हैं और इनपुट सेट की सीमाएं क्या हैं। इन निर्माणों का अधिकतम सेट एक ऐसी भाषा का निर्धारण करेगा, जिसे रोका जा सकता है या नहीं। क्या इस पर कुछ अध्ययन किया गया है?
[अपडेट २]
यहाँ जवाब है, यह हाँ है, 1967 में http://www.isp.uni-luebeck.de/kps07/files/papers/kirner.pdf से वापस
हॉल्टिंग की समस्या कम से कम सैद्धांतिक रूप से ite नाइट-स्टेट सिस्टम के लिए हल की जा सकती है, जो पहले से ही 1967 [4] में मिन्स्की द्वारा तर्क दिया गया है: "... किसी भी-नाइट-स्टेट मशीन, यदि पूरी तरह से खुद को छोड़ दिया जाता है, तो अंततः पूरी तरह से आवधिक रूप से गिर जाएगी। दोहरावदार पैटर्न। इस दोहराए जाने वाले पैटर्न की अवधि मशीन की आंतरिक स्थिति की संख्या से अधिक नहीं हो सकती ... "
(और इसलिए यदि आप ट्यूरिंग मशीनों को खत्म करने के लिए चिपके रहते हैं तो आप एक दाना बना सकते हैं)