क्या सभी संदर्भ-संवेदनशील भाषाएं निर्णायक हैं?

12

मैं संदर्भ-संवेदनशील भाषा की विकिपीडिया परिभाषा से गुजर रहा था और मैंने यह पाया:

भाषाओं की प्रत्येक श्रेणी सीधे ऊपर की श्रेणी का एक उचित उपसमुच्चय है। किसी भी ऑटोमेटन और प्रत्येक श्रेणी के किसी भी व्याकरण में इसके ठीक ऊपर की श्रेणी में एक समान ऑटोमेटन या व्याकरण होता है।

मैं देख सकता था कि लेख के क्रम में रैखिक-स्वचालित ऑटोमेटन सीधे डिकोडर से नीचे है। यदि यह मामला है, तो इसका मतलब है कि एलबीए पर प्रत्येक गणना कुछ बिंदु पर रुक जाएगी (क्योंकि प्रत्येक एलबीए एक डिकोडर होगा)। लेकिन मुझे लगता है कि कुछ गणना हो सकती है जो एलबीए पर एक ही समय में चल सकती है। उदाहरण के लिए हम LBA पर एक संगणना लिख सकते हैं जो कि होगी

टेप पर पहला प्रतीक पढ़ें और दाईं ओर जाएं;
अगला प्रतीक पढ़ें और बाईं ओर वापस जाएं।

यह (बेकार) संगणना (जो स्पष्ट रूप से एक एलबी संगणना है) अनिश्चित काल तक बाएं और दाएं दोलन करती होगी और कभी रुकती नहीं है और इसलिए यह डिकोडर नहीं हो सकती। मैं गलत कहाँ सोच रहा हूँ?

— bongubj
स्रोत

1

CSL का निर्णय करना स्वतंत्र है कि क्या गैर-समाप्ति एलबीए हैं: केवल इसके लिए एक एलबीए मौजूद है।

— राफेल

9

सबसे पहले, सभी संदर्भ-संवेदनशील भाषाएं निर्णायक हैं, क्योंकि उन्हें एलबीए (जैसा आपने कहा) स्वीकार किया जा सकता है, और ट्यूरिंग मशीन एक एलबीए की तुलना में अधिक शक्तिशाली है।

हालाँकि, आप कुछ और के बारे में पूछ रहे थे। क्या LBA कि चक्र हो सकते हैं? इसका जवाब है हाँ। आपने एक उदाहरण दिया। हालाँकि, आप हर LBA को ट्यूरिंग मशीन संशोधित कर सकते हैं जो समान भाषा को स्वीकार करता है लेकिन कभी भी चक्र नहीं करता है। इसे देखने के लिए, निरीक्षण करें, कि आप पर अनुकरण कर सकते हैं और उन सभी विन्यासों पर नज़र रख सकते हैं जो LBA ने अब तक प्राप्त किए हैं। यदि एक कॉन्फ़िगरेशन है जो दो बार दिखाता है, तो आपने एक चक्र का पता लगाया। इस मामले में आप खारिज करना बंद कर देते हैं। यहां महत्वपूर्ण बात यह है कि LBA रैखिक स्थान पर उपयोग करता है, और इसलिए इसके कॉन्फ़िगरेशन की संख्या बाध्य है। $M$ $M'$ $M$ $M'$

— A.Schulz
स्रोत

अगर किसी को अभी भी यह जवाब समझ में नहीं आया है, तो मैं आपको अतिरिक्त स्पष्टीकरण के लिए इस प्रस्तुति की स्लाइड 3-4 का संदर्भ देता हूं ।

— बोंगुबज

0

मेरा सुझाव है कि आप इस पुस्तक पर एक नज़र डालें: भाषाओं का परिचय और जॉन ई मार्टिन द्वारा गणना का सिद्धांत

पृष्ठ २ page३: संदर्भ-संवेदनशील भाषाओं से संबंधित अभी भी खुले प्रश्न हैं, जैसे कि प्रत्येक सीएसएल को एक निर्धारक एलबीए द्वारा स्वीकार किया जा सकता है या नहीं।

— अमीर निकबादी
स्रोत

यह प्रश्न का उत्तर कैसे देता है? प्रसंग-संवेदी भाषाएं सभी निर्णायक हैं, भले ही आपको नियतात्मक या nondeterministic रैखिक स्थान की आवश्यकता हो।

— युवल फिल्मस