সিএফএল'র সমতার ডিসিডেবিলিটি

নিম্নলিখিত সমস্যাটি নির্ধারণযোগ্য:

একটি প্রসঙ্গমুক্ত ব্যাকরণ , ? $G$ $L(G) = \varnothing$

নিম্নলিখিত সমস্যাটি অনস্বীকার্য:

একটি প্রসঙ্গমুক্ত ব্যাকরণ , ? $G$ $L(G) = A^{\ast}$

সেখানে প্রেক্ষাপটে মুক্ত ভাষায় একটি চরিত্রায়ন হয় নির্ধার্য সমতা সঙ্গে ? $M$ $L(G) = M$

computability fl.formal-languages

— sdcvvc
সূত্র

গণিত থেকে ক্রসপোস্ট.এসই ।

— sdcvvc

উদাহরণস্বরূপ, এটি নির্ধার্য যখন

সসীম (সহজ), যখন

(পারিখ এর উপপাদ্য দ্বারা) অথবা যখন

(পারিখ দ্বারা এবং সম্পূরক সঙ্গে চেক ছেদ

)

M

$M$

M = {a}^{*}

$M = \{a\}^{\ast}$

M = {a^{n} b^{n}}

$M = \{a^n b^n\}$

a^{*} b^{*}

$a^{\ast} b^{\ast}$

— sdcvvc

G

$G$

L (G)

$L(G)$

আমি মনে করি এটি ঠিক প্রশ্ন।

— ডোমোটরপ

@ কাভেঃ আমি জানি না যে সেটটি নির্ধারণযোগ্য কিনা, যদিও এটি মনে হয় না। সর্বোত্তম উত্তর হ'ল কিছু ক্ষেত্রে "সাধারণ" শর্তাবলী যা সমস্ত ক্ষেত্রে আচ্ছাদিত হয়, বা ঘটনাটি দেখানো উদাহরণগুলি খুব জটিল। এটি কিছুটা অস্পষ্ট, তবে আমি মনে করি এটি জবাবযুক্ত।

— sdcvvc

উত্তর:

আমি নিশ্চিত নই যে সমতার জন্য কোনও সাধারণ বৈশিষ্ট্য আছে, তবে হপক্রফ্ট এবং হান্ট এবং রোজনক্র্যান্টজ রেফারেন্সের নিম্নলিখিত নিবন্ধগুলি। একটি ভাল শুরু হতে পারে:

জন ই। হপকক্রফ্ট, প্রাসঙ্গিক ভাষাগুলির জন্য সমতা এবং ধারক সমস্যার বিষয়ে, থিওরি অফ কম্পিউটিং সিস্টেমস 3 (2): 119-124, দোই : 10.1007 / বিএফ01746517 ;
হ্যারি বি হান্ট, তৃতীয় এবং ড্যানিয়েল জে রোজনক্র্যান্টজ, আনুষ্ঠানিক ভাষা এবং আনুষাঙ্গিক সংস্থাগুলি সম্পর্কিত সমস্যাগুলির জন্য, এসিএম জার্নাল 24 (3): 387--396, 1977, doi: 10.1145 / 322017.322020 ।

$M$ $L(G)=M$ $M$ $n$ $w_1,w_2,\ldots,w_n$ $M\subseteq w_1^\ast w_2^\ast\cdots w_n^\ast$

— sylvain
সূত্র

-2

একটি পুরানো থ্রেড আনতে দুঃখিত। তবে এখানে এমন কিছু যা প্রাসঙ্গিক হতে পারে।

যাক pCFL বিন্যাস-বন্ধ সিএফএল বর্গ করা। পিসিএফএল-এর জন্য সমতা সমস্যা নির্ধারণযোগ্য।

$L$ $\Sigma = \{ \sigma_1 , \dots , \sigma_n \}$ $W_L = \{ \langle \#_{a_1}(w) , \dots , \#_{a_n}(w) \rangle \mid w \in L\}$ $W_L$ $L$

$L$ $w \in L$ $\langle \#_{a_1}(w) , \dots , \#_{a_n}(w) \rangle \in W_L$ $L_1 , L_2$ $L_1 = L_2$ $W_{L_1} = W_{L_2}$

হুইন 1980 "সেলিমিনার সেটগুলির জটিলতা": http://link.springer.com/chapter/10.1007%2F3-540-10003-2_81#

এটি একটি প্রশ্ন উত্থাপন করে যার উত্তরটি আমি জানতে চাই: একটি প্রদত্ত প্রসঙ্গ-মুক্ত ভাষা অনুচ্ছেদ-বন্ধ কিনা তা সিদ্ধান্ত নেওয়া যায় কি?

— শেন স্টেইনার্ট-থ্রেলকেল্ড
সূত্র

এটি মূল প্রশ্নের উত্তর নয়, একটি পৃথক (যদিও সম্পর্কিত) প্রশ্ন। আপনার এটি নিজের প্রশ্ন হিসাবে জিজ্ঞাসা করা উচিত (এই প্রশ্নের পিছনে একটি লিঙ্ক সহ) হয় এখানে বা সিএসএসইতে ।

— আর্টেম কাজনাচায়েভ

হ্যাঁ, দয়া করে এই উত্তরটি মুছুন, এবং এটি একটি নতুন প্রশ্ন হিসাবে পুনরায় পোস্ট করুন (এটির একটি লিঙ্ক সহ)

— সুরেশ ভেঙ্কট

@ সুরেশভেনক্যাট মনে হয়েছে ব্যবহারকারী এই প্রশ্নের শেষে এটি জিজ্ঞাসা করছেন । সুতরাং সম্ভবত একটি নতুন প্রশ্নের প্রয়োজন নেই।

— Artem Kaznatcheev

pCFL

$\textbf{pCFL}$