linear-bounded-automata पर टैग किए गए जवाब

ट्यूरिंग मशीन (टीएम) की प्राथमिक परिभाषा, कम से कम मेरे स्वयं के संदर्भ पाठ्यपुस्तक (हॉपक्रॉफ्ट + उलेमन 1979) में नियतात्मक है। इसलिए हॉल्टिंग समस्या के बारे में मेरी अपनी समझ मुख्य रूप से निर्धारक टीएम के लिए है, हालांकि मैं जानता हूं कि इसे अन्य प्रकार के ऑटोमेटा के लिए …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

मैंने विकिपीडिया और कुछ अन्य ग्रंथों में पढ़ा है रुकने की समस्या है [...] रेखीय बंधित ऑटोमेटा (LBA) [और] नियतात्मक मशीनों के साथ परिशोधित स्मृति के लिए। लेकिन इससे पहले यह लिखा गया है कि रुकने की समस्या एक असंदिग्ध समस्या है और इस प्रकार टीएम इसे हल नहीं कर …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

मैं इस धारणा के तहत था कि हमारे कंप्यूटर, परिमित होने के कारण, अंततः (असाधारण रूप से बड़े) परिमित राज्य मशीनों से अधिक शक्तिशाली नहीं हैं। हालाँकि, Linearly Bounded Turing Machines भी परिमित हैं, लेकिन ऐसा लगता है कि रेगुलर लैंग्वेजज़ सख्ती से कॉन्सेप्ट-सेंसिटिव लैंग्वेज की अनुचित उपसमुच्चय हैं। जाहिर …

11 finite-automata  computation-models  linear-bounded-automata