এটি সর্বজনবিদিত যে সাধারণ প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য সমতা সমস্যা অনস্বীকার্য। যাইহোক, এই বিষয়টির সমস্ত প্রমাণ যে সম্পর্কে আমি সচেতন সেগুলিতে কিছুটা অস্পষ্ট প্রসঙ্গ-মুক্ত ব্যাকরণ জড়িত বলে মনে হয়। এই কারণে, আমি নিজেকে জিজ্ঞাসা করতে চাই যে নিজেকে দ্ব্যর্থহীন প্রসঙ্গ-মুক্ত ভাষায় সীমাবদ্ধ করার সময় সমস্যাটি অনস্বীকার্য remains অর্থাত্, দুটি প্রাসঙ্গিক মুক্ত ব্যাকরণ দেওয়া হয়েছে যেগুলি দ্ব্যর্থহীন বলে মঞ্জুর হওয়া অগ্রাধিকার, সেগুলি কি সমতুল্য কিনা তা কি সিদ্ধান্ত নেওয়া যায়?
আমি এই সমস্যার একটু কুচুটে খুঁজে, যেহেতু এটি জানা যায় সমানতা জন্য নির্ধার্য হয় নির্ণায়ক প্রসঙ্গ-মুক্ত ভাষা, যদিও এই ফলাফলের তুচ্ছ থেকে অনেক দূরে ... অন্যদিকে, undecidability জন্য কিছু সহজ কারণে যে আমি হয়েছে সেখানে হতে পারে পাশ কাটিয়ে যায়।
3
অন্তর্ভুক্তি অনস্বীকার্য
—
পিটার লিওপোল্ড
@ পিটারলিউপল্ড হ্যাঁ, তবে নির্বিচারবাদী প্রসঙ্গবিহীন ভাষাগুলির জন্য অন্তর্ভুক্তিও অনস্বীকার্য, সুতরাং এটি একেবারেই সোজাসাপ্টা (যে নিবন্ধটির সাথে আপনি লিঙ্ক করেছেন এটি এই সত্যটি ব্যবহার না করেই একটি প্রমাণ দেয়)। তবে, সমতুল্যতা আরও আকর্ষণীয় বলে মনে হচ্ছে, যেহেতু এটি নির্বিচারবাদী প্রসঙ্গবিহীন ভাষাগুলির পক্ষে সিদ্ধান্ত গ্রহণযোগ্য এবং সাধারণ প্রসঙ্গ-মুক্ত ভাষায়
—
অনস্বীকার্য
তবুও, আমি সন্দেহ করতে শুরু করি যে এই সমস্যাটি উন্মুক্ত হতে পারে: সিদ্ধান্ত গ্রহণের একটি প্রমাণ খুব কমই জানা যায়, যেহেতু নির্বিচারে সিএফএল জন্য একটি যথেষ্ট জটিল; অন্যদিকে, সিদ্ধান্তহীনতা বলতে বোঝায় নন -কম্বিউটিভ ভেরিয়েবলগুলিতে কালজিব্রিক সিরিজের সমতুল্যের অনির্বাচিততা, যা আমি যদি সবকিছু সঠিকভাবে বুঝতে পারি তবে এটি একটি মুক্ত সমস্যা হওয়া উচিত।
—
জারা সিমনম্যান