क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है?


9

क्या बाउंड-विजिट नॉनडेर्मिनिस्टिक लीनियर बाउंडेड ऑटोमेटा केवल नियमित भाषाओं को पहचानती है?

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

यदि कोई संख्या है, तो LBA का दौरा-दौरा किया जाता है ऐसा है कि सभी सभी इनपुटों पर चलता है और टेप के प्रत्येक सेल को अधिकतम रूप से समाप्त करता है बार।

क्या ऐसी मशीन केवल नियमित भाषाओं को पहचानती है? हेंनी का परिणाम केवल नियतात्मक मशीनों के लिए यह कहना प्रतीत होता है, अगर मैं इसे सही पढ़ रहा हूं। क्या परिणाम nondeterministic मशीनों के लिए भी है? यदि हाँ, एक संदर्भ की सराहना की जाएगी।

जवाबों:


7

थोड़ा ओवरकिल, लेकिन: यह पेपर दिखाता है (अन्य अच्छी चीजों के बीच) जो गैर-नियतात्मक हेनी ट्रांसड्यूसर को गैर-निर्धारक एमएसओ-निश्चित ट्रांसडक्शन के वर्ग का एहसास कराता है। बाद वाले के पास नियमित डोमेन हैं।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.