टीएम पर विचार करें जो हमेशा टेप सिर को दाईं ओर ले जाता है और प्रत्येक चरण पर एक विशेष गैर-रिक्त टेप प्रतीक को प्रिंट करता है। इसका मतलब यह है कि टीएम कभी नहीं रुकता है, क्योंकि यह हमेशा दाईं ओर बढ़ता है, और कभी भी राज्य को दोहराता नहीं है, क्योंकि के चरणों के बाद टेप सिर मशीन के kth सेल के ऊपर है। नतीजतन, मशीन का प्रत्येक कॉन्फ़िगरेशन अन्य सभी से अलग है, और मशीन हमेशा लूप करती है।
हम ऐसी मशीनों के अस्तित्व को गैर-रचनात्मक रूप से भी दिखा सकते हैं। विरोधाभास के लिए मान लें कि हर टीएम जो कभी नहीं रुकता है वह अंततः लूप करता है। इसका अर्थ है कि यदि आप एक स्ट्रिंग w पर TM शुरू करते हैं , तो निम्न में से एक अंततः होगा:एमw
- हाल्ट, याएम
- एक विन्यास दोहराता है।एम
इस मामले में, हॉल्टिंग समस्या निम्नानुसार निर्णायक होगी। टीएम और स्ट्रिंग डब्ल्यू को देखते हुए , प्रत्येक बिंदु पर टेप की सामग्री, वर्तमान स्थिति और वर्तमान टेप स्थिति को लिखते हुए एम पर डब्ल्यू का अनुकरण करें । यदि यह कॉन्फ़िगरेशन डुप्लिकेट है, तो आउटपुट "रुकता नहीं है।" अन्यथा, यदि M w पर टिका है , तो आउटपुट "हाल्ट" है। चूंकि इनमें से एक को अंततः होने की गारंटी है, इसलिए यह प्रक्रिया हमेशा समाप्त हो जाती है, इसलिए हम हॉल्टिंग समस्या के लिए एक एल्गोरिदम होगा, जिसे हम जानते हैं कि मौजूद नहीं है।एमwएमwएमw
उम्मीद है की यह मदद करेगा!