লিনিয়ার প্রসঙ্গবিহীন ব্যাকরণগুলির জন্য ভাষার সমতা কী সিদ্ধান্ত গ্রহণযোগ্য?

আসুন দুটি প্রসঙ্গ-মুক্ত ব্যাকরণ - এবং এবং নিম্নলিখিত প্রশ্নটি জিজ্ঞাসা করুন: , যা দুটি ব্যাকরণ সমান? $G_1$ $G_2$ $L(G_1) = L(G_2)$

সাধারণভাবে, এই সমস্যাটি অনস্বীকার্য। যাইহোক, যদি এবং উভয়ই বাম-লিনিয়ার (বা ডান-লিনিয়ার) ব্যাকরণ হয় তবে সমস্যাটি নির্ণয়যোগ্য, কারণ উভয় ব্যাকরণই নিয়মিত ভাষার বর্ণনা দেয়। $G_1$ $G_2$

আমার প্রশ্ন হ'ল যখন উভয় ব্যাকরণ লিনিয়ার থাকাকালীন একই সমস্যাটি নির্ধারণযোগ্য। এছাড়াও, যদি কেউ প্রাসঙ্গিক সাহিত্যের দিকে ইঙ্গিত করতে পারে তবে তা প্রশংসিত হবে!

formal-languages context-free formal-grammars

আমি এই সেমিস্টারে টিএ হিসাবে প্রমাণিত করেছি যে সাধারণ রৈখিক ব্যাকরণগুলির জন্য und অনস্বীকার্য ( public.asu.edu/~ccolbou/src/555hw3extras16sol.pdf , প্রশ্ন 3)। এটি সাম্যতার সমস্যাটিতে কেবল একটি সরল হ্রাস।

A L L_{L G}

$ALL_{LG}$

— রায়ান

অ্যামিরাম ইহুদাই, লিনিয়ার ব্যাকরণ পরিবার , তথ্য ও নিয়ন্ত্রণ 47, 122-136 (1980) , পৃষ্ঠা 1 এর এক পরিবারের জন্য সমতার সিদ্ধান্ত গ্রহণের উদ্ধৃতি দিয়ে : পৃষ্ঠা 1:

আনুষ্ঠানিক ভাষার তত্ত্বের জন্য ভাষার বিভিন্ন পরিবারের সমতুল্য সমস্যাটি খুব আগ্রহী। এই সমস্যাটি নিয়মিত ভাষার জন্য (রায়বিন এবং স্কট, 1959) এবং প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য অনস্বীকার্য (বার-হিলেল এট আল।, 1961) is লিনিয়ার প্রসঙ্গমুক্ত ভাষার পরিবারগুলির জন্য এটি অনস্বীকার্য, নীচে লেমমা 1-এর (বেকার অ্যান্ড বুক, 1974) অনুসারে। অভিন্ন লিনিয়ার ভাষার পরিবার লিনিয়ার ভাষাগুলির একটি প্রাকৃতিক এবং অনাহুত সাবফ্যামিলি যার জন্য সমতা নির্ধারণযোগ্য।

$\Sigma^*$

— reinierpost
সূত্র

দুর্দান্ত উত্তর! আপনাকে অনেক ধন্যবাদ, এটি আমার পিএইচডি থিসিসের জন্য খুব কার্যকর হবে।

আমি যদি আপনি থাকতাম তবে আমি প্রমাণটি যাচাই করতাম, এটি পরোক্ষ is

— পুনরায় পোস্টার