क्या स्वाभाविक रूप से अस्पष्ट और निर्धारक संदर्भ-मुक्त भाषाएँ हैं?

36

आइए हम एक संदर्भ-मुक्त भाषा को नियतात्मक कहते हैं यदि और केवल यदि इसे एक नियतात्मक पुश-डाउन ऑटोमेटन और अन्यथा nondeterministic द्वारा स्वीकार किया जा सकता है।

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

एक नियतात्मक, स्पष्ट भाषा का एक उदाहरण भाषा है: एक गैर नियतात्मक, स्पष्ट भाषा का एक उदाहरण भाषा है:

{a^{n} b^{n} \in {a, b}^{*} | n \geq 0}

$\{a^{n}b^{n} \in \{a, b\}^{*} | n \ge 0\}$

{w \in {a, b}^{*} | w = w^{R}}

$\{w \in \{a, b\}^{*} | w = w^{R}\}$

से विकिपीडिया , एक स्वाभाविक अस्पष्ट विषय से मुक्त भाषा का एक उदाहरण विषय से मुक्त भाषाओं के निम्नलिखित संघ है, जो भी विषय से मुक्त होना चाहिए है:

L = {a^{n} b^{m} c^{m} d^{n} \in {a, b, c, d}^{*} | n, m \geq 0} \cup {a^{n} b^{n} c^{m} d^{m} \in {a, b, c, d}^{*} | n, m \geq 0}

$L = \{a^{n}b^{m}c^{m}d^{n} \in \{a, b, c, d\}^{*} | n, m \ge 0\} \cup \{a^{n}b^{n}c^{m}d^{m} \in \{a, b, c, d\}^{*} | n, m \ge 0\}$

अब प्रश्नों के लिए:

क्या यह ज्ञात है कि क्या एक निर्धारक, स्वाभाविक रूप से अस्पष्ट संदर्भ-मुक्त भाषा मौजूद है? यदि हां, तो क्या इसका एक आसान (आसान) उदाहरण है?
क्या यह ज्ञात है कि क्या वहाँ एक nondeterministic, स्वाभाविक रूप से अस्पष्ट संदर्भ-मुक्त भाषा मौजूद है? यदि हां, तो क्या इसका एक आसान (आसान) उदाहरण है?

स्पष्ट रूप से, चूंकि एक अंतर्निहित अस्पष्ट संदर्भ-मुक्त भाषा मौजूद है ( एक उदाहरण है), इन सवालों में से एक का जवाब आसान है, अगर यह ज्ञात है कि क्या निर्धारक या नोंडेटर्मिनिस्टिक है। मैं यह भी मानता हूं कि यह सच है कि अगर कोई एक नियतांक है, तो एक नॉनडेटर्मिनिस्टिक होने के लिए बाध्य है ... लेकिन मैं पहले आश्चर्यचकित हो गया हूं। संदर्भ की सराहना की जाती है, और अग्रिम में माफी अगर यह एक प्रसिद्ध, मनाया परिणाम है (जिस स्थिति में, मैं इसके बारे में पूरी तरह से अनजान हूं)। $L$ $L$

— Patrick87
स्रोत

30

$L$ $L$

एक भाषा को कुछ संदर्भ-मुक्त व्याकरण द्वारा वर्णित किया जा सकता है यदि और केवल अगर यह कुछ नोंडेटर्मिनिस्टिक ऑटोमैटन द्वारा पहचाना जा सकता है। इसके एक विशेष मामले के रूप में, स्वाभाविक रूप से अस्पष्ट संदर्भ-मुक्त व्याकरण कुछ नोंडेटर्मिनिन ऑटोमेटन द्वारा पार्स किया जा सकता है।

अंतिम नोट पर, कोई भी नियतात्मक पुश-डाउन ऑटोमेटन भी nondeterministic है (यह सिर्फ किसी भी चीज़ के बारे में है जो nondeterministic हो सकता है, nondeterminism की उचित परिभाषा के लिए)।

— एलेक्स दस कगार
स्रोत

इस तथ्य के संदर्भ के लिए +1 कि सभी निर्धारक सीएफएल स्वाभाविक रूप से अस्पष्ट नहीं हैं। वास्तव में, जो अन्य प्रश्न का भी उत्तर देता है: चूंकि एक अंतर्निहित अस्पष्ट भाषा है, और यह नियतात्मक नहीं है, यह nondeterministic होना चाहिए (ध्यान दें कि nondeterministic CFL की मेरी परिभाषा मानक नहीं है, क्योंकि यह निर्धारक CFLs को छोड़कर नहीं है; यह मेरी गलती है; शब्दावली के दुरुपयोग के लिए)। किसी भी घटना में, आपने प्रश्न (2) के लिए एक उदाहरण दिया है, और दिखाया कि प्रश्न (1) एक असंभव है। मैं प्रतीक्षा करूँगा और देखूंगा कि कोई व्यक्ति अधिक विस्तार करता है, लेकिन अन्यथा इसे सही मान लेगा। धन्यवाद!

— पैट्रिक87

0

विकिपीडिया और उत्तर पर अपनी टिप्पणी पढ़कर, फिर से (Q2) स्पष्ट रूप से बताने के लिए, सभी स्वाभाविक रूप से अस्पष्ट सीएफएल को std defn (अपने स्वयं के उदाहरण incl) के तहत nondeterministic होना चाहिए। इस रेफ में भाग गया

कुछ स्वाभाविक रूप से अस्पष्ट संदर्भ-मुक्त भाषा / शमीर और संभवतः अन्य का साहित्य में अध्ययन किया जाता है।

— vzn
स्रोत