पूर्व और उपसर्ग के तहत असंदिग्ध संदर्भ-मुक्त भाषाओं को बंद करना।

चलो एक विषय से मुक्त भाषा हो। परिभाषित करें के पूर्व और पोस्टफ़िक्स बंद होने के लिए दूसरे शब्दों में,, के सभी शामिल हैं के उपसर्गों और postfixes, और इसलिए ही। मेरा प्रश्न: यदि संदर्भ-मुक्त है और एक गैर-अस्पष्ट व्याकरण है, क्या लिए भी यही सत्य है ? $L$ $ppc(L)$ $L$ $ppc(L)$ $L$ $L$ $L$ $ppc(L)$

मेरा मानना है कि इस तरह का मूल प्रश्न भाषा सिद्धांत के उत्तराधिकार में पहले ही हल हो चुका होगा, लेकिन मुझे एक उपयुक्त संदर्भ नहीं मिला।

— मार्टिन बर्जर
स्रोत

सेट निश्चित रूप से विषय से मुक्त है, लेकिन मुझे लगता है कि यह स्वाभाविक अस्पष्ट हो सकता है: पर विचार $\mathit{ppc}(L)$ तो शास्त्रीय स्वाभाविक अस्पष्ट भाषा भी शामिल है

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

$L=\{a^mb^mc^nd\mid m,n\geq 0\}\cup\{da^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

और एक साबित कर सकते हैं

भी स्वाभाविक सामान्य तर्क से अस्पष्ट (दोनों को ओग्डेन के लेम्मा लागू है

और

दो के अस्तित्व निकालना के लिए अलग पेड़

)।

L^{'} = {a^{m} b^{m} c^{n} ∣ m, n \geq 0} \cup {a^{m} b^{n} c^{n} ∣ m, n \geq 0},

$L'=\{a^mb^mc^n\mid m,n\geq 0\}\cup\{a^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

a^{n + n!} b^{n} c^{n}

$a^{n+n!}b^nc^n$

a^{n} b^{n} c^{n + n!}

$a^nb^nc^{n+n!}$

a^{n + n!} b^{n + n!} c^{n + n!}

$a^{n+n!}b^{n+n!}c^{n+n!}$

— सिल्वेन
स्रोत

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

— मार्टिन बर्गर

{p p c}_{$} (L) = {w $ ∣ \exists w^{'}, w w^{'} \in L} \cup {$ w ∣ \exists w^{'}, w^{'} w \in L}

$\mathit{ppc}_\$(L)=\{w\$\mid\exists w',\,ww'\in L\}\cup\{\$w\mid\exists w',\,w'w\in L\}$

L = {d a^{m} b^{m} c^{n} ∣ m, n \geq 0} \cup {e a^{m} b^{n} c^{n} ∣ m, n \geq 0}

$L=\{da^mb^mc^n\mid m,n\geq 0\}\cup\{ea^mb^nc^n\mid m,n\geq 0\}$

$ a^{n + n!} b^{n + n!} c^{n + n!}

$\$a^{n+n!}b^{n+n!}c^{n+n!}$

{p p c}_{$} (L)

$\mathit{ppc}_\$(L)$

p p c

$\mathit{ppc}$

हाँ कुछ ऐसा ही। चूंकि यह काम नहीं करता है, इसलिए मुझे अपने एप्लिकेशन डोमेन को फिर से डिज़ाइन करना होगा। आपके इनपुट के लिए बहुत बहुत धन्यवाद।

— मार्टिन बर्गर