तुम लिखो:
रुकने की समस्या बताती है कि कोई एल्गोरिथ्म नहीं है जो यह निर्धारित करेगा कि किसी दिए गए कार्यक्रम में बाधा आती है या नहीं। परिणामस्वरूप, ऐसे कार्यक्रम होने चाहिए जिनके बारे में हम यह नहीं बता सकते कि वे समाप्त होते हैं या नहीं।
यह दोनों दिशाओं में एक गैर-अनुक्रमिक है। आप एक सामान्य गिरावट का सामना करते हैं जो संबोधित करने के लायक है।
किसी भी निश्चित कार्यक्रम को देखते हुए , इसकी रुकने की समस्या (" P P हमेशा रुकता है?") हमेशा निर्णायक होता है, क्योंकि इसका उत्तर "हाँ" या "नहीं" है। यहां तक कि अगर आप यह नहीं बता सकते हैं कि यह कौन है, तो आप जानते हैं कि दो तुच्छ एल्गोरिदम में से एक जो हमेशा "हां" जवाब देता है। "नहीं" पी- फाल्टिंग समस्या को हल करता है।पीपीपी
केवल अगर आपको आवश्यकता है कि एल्गोरिथ्म को All can कार्यक्रमों के लिए Halting समस्या को हल करना चाहिए, तो आप दिखा सकते हैं कि ऐसा कोई एल्गोरिथ्म मौजूद नहीं हो सकता है।
अब, यह जानते हुए कि हॉल्टिंग समस्या अनिर्दिष्ट है, इसका अर्थ यह नहीं है कि ऐसे कोई भी कार्यक्रम हैं जिन्हें कोई भी समाप्ति या लूपिंग साबित नहीं कर सकता है। यहां तक कि अगर आप ट्यूरिंग मशीन (जो केवल एक परिकल्पना है, सिद्ध तथ्य नहीं है) से अधिक शक्तिशाली नहीं है, तो हम सभी जानते हैं कि कोई भी एल्गोरिथ्म / व्यक्ति सभी कार्यक्रमों के लिए इस तरह के प्रमाण नहीं दे सकता है । प्रत्येक कार्यक्रम के लिए एक अलग व्यक्ति तय करने में सक्षम हो सकता है।
कुछ और संबंधित पढ़ने:
तो आप देखते हैं कि आपके वास्तविक प्रश्न (जैसा कि नीचे दोहराया गया है) का इससे कोई लेना-देना नहीं है कि पड़ाव की समस्या कम्प्यूटेबल है या नहीं। बिलकुल।
[कार्यक्रमों के सबसे सरल (सबसे छोटे) ज्ञात उदाहरण जिन्हें हम रोकना नहीं जानते या लूप करते हैं]?
यह अपने आप में एक वैध प्रश्न है; अन्य लोगों ने अच्छे उत्तर दिए हैं। असल में, आप हर बयान बदल सकता है एक उदाहरण में अज्ञात सच मान के साथ है, बशर्ते वह करता है एक सच मान है:एस
जी( n ) = { 1 ,जी( n + 1 ) ,एस सच ,और ।
दी, ये बहुत "प्राकृतिक" नहीं हैं।
- जरूरी नहीं कि सभी , लेकिन "कई" कुछ अर्थों में। बहुत से, कम से कम।