প্রাক এবং পোস্টফিক্সের অধীনে দ্ব্যর্থহীন প্রসঙ্গ-মুক্ত ভাষার বন্ধকরণ C

যাক একটি প্রেক্ষাপটে মুক্ত ভাষা হতে। নির্ধারণ এর প্রাক এবং পোস্টসাফিক্স অবসান হতে , অন্য কথায়, সব রয়েছে এর উপসর্গ এবং postfixes, তাই নিজেই। আমার প্রশ্ন: যদি প্রসঙ্গমুক্ত হয় এবং একটি দ্বি-দ্বিবিজ্ঞান ব্যাকরণ থাকে তবে কি একই সত্য ? $L$ $ppc(L)$ $L$ $ppc(L)$ $L$ $L$ $L$ $ppc(L)$

আমি বিশ্বাস করি যে ভাষা তত্ত্বের সুবাদে এই জাতীয় প্রাথমিক প্রশ্নটি ইতিমধ্যে সমাধান হয়ে গিয়েছিল, তবে আমি কোনও উপযুক্ত রেফারেন্স পাইনি।

— মার্টিন বার্গার
সূত্র

সেট অবশ্যই প্রসঙ্গ-মুক্ত, কিন্তু আমি মনে করি এটা মজ্জাগতভাবে দ্ব্যর্থক হতে পারে: বিবেচনা $\mathit{ppc}(L)$ তারপর শাস্ত্রীয় মজ্জাগতভাবে দ্ব্যর্থক ভাষা অন্তর্ভুক্ত

এল = {{একটি}^{মি} খ^{মি} গ^{এন} ঘ | মি, এন \geq 0} \cup {ঘ {একটি}^{মি} খ^{এন} গ^{এন} | মি, এন \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)$

এবং এক প্রমাণ করতে পারেন

এছাড়াও মজ্জাগতভাবে স্বাভাবিক যুক্তি দ্বারা দ্ব্যর্থক (উভয় ওগডেন এর থিম প্রয়োগ হয়

এবং

দুই অস্তিত্ব অনুমান করতে

) এরজন্য স্বতন্ত্র গাছ।

{এল}^{'} = {{একটি}^{মি} খ^{মি} গ^{এন} | মি, এন \geq 0} \cup {{একটি}^{মি} খ^{এন} গ^{এন} | মি, এন \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!}$

— sylvain
সূত্র

ধন্যবাদ. এটা আমার চেয়ে সহজ ছিল। আপনি কি মনে করেন যে সমস্যাটির রূপগুলি (যেমন প্রাক এবং পোস্টফিক্সগুলি অবশ্যই বিস্মৃত করা উচিত (নতুন প্রতীক দ্বারা) অ-অস্পষ্টতার অনুরূপ ক্ষতি প্রদর্শন করে?

— মার্টিন বার্গার

{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}$

হ্যা অনেকটা এরকমই. যেহেতু এটি কাজ করে না, তাই আমাকে আমার অ্যাপ্লিকেশন ডোমেনটি নতুন করে ডিজাইন করতে হবে। আপনার ইনপুট জন্য অনেক ধন্যবাদ।

— মার্টিন বার্গার