क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है?
एक nondeterministic रैखिक बाउंड ऑटोमेटन (nLBA) से मेरा मतलब है कि एकल-टेप nondeterministic ट्यूरिंग मशीन है जहाँ इनपुट दोनों छोर पर एंडमार्कर्स के साथ "गद्देदार" आता है जिसे कभी भी अधिलेखित नहीं किया जा सकता है, और ताकि सिर इनपुट क्षेत्र से बाहर कभी न निकल सके। "बाहर" एंडमार्कर्स।
यदि कोई संख्या है, तो LBA का दौरा-दौरा किया जाता है ऐसा है कि सभी सभी इनपुटों पर चलता है और टेप के प्रत्येक सेल को अधिकतम रूप से समाप्त करता है बार।
क्या ऐसी मशीन केवल नियमित भाषाओं को पहचानती है? हेंनी का परिणाम केवल नियतात्मक मशीनों के लिए यह कहना प्रतीत होता है, अगर मैं इसे सही पढ़ रहा हूं। क्या परिणाम nondeterministic मशीनों के लिए भी है? यदि हाँ, एक संदर्भ की सराहना की जाएगी।