আমি বর্তমানে নিয়মিত কিন্তু কনটেক্সট ফ্রি এর নীচে ভাষার ক্লাসের সাথে জড়িত কিছু ফর্মাল ভাষা গবেষণা করছি। আমি রিভার্সাল-বাউন্ডেড মাল্টিকাউন্টার মেশিন, সিঙ্গল-স্ট্যাক কাউন্টার মেশিন, ডিটারমিনিস্টিক সিএফএল ইত্যাদির মতো জিনিসগুলি দেখছি
আমি ভাবছি যে কোনও ভাল বই বা সমীক্ষার কাগজ যা এই ভাষার বৈশিষ্ট্যগুলির রূপরেখার কথা কেউ জানেন কিনা। আমি যা দেখছি তার বেশিরভাগই আমার হপক্রফ্ট-ওলমান বই এমনকি 1979 সালের সংস্করণে খুব বেশি অস্পষ্ট বা খুব নতুন।
প্রধানত আমি সন্ধান করছি যে কোন ভাষার ক্লাসগুলি একে অপরের মধ্যে অন্তর্ভুক্ত রয়েছে, এই ভাষার বন্ধকরণের বৈশিষ্ট্য এবং এই ভাষাগুলিতে মৌলিক সমস্যার (এফ-সমস্যা) নির্ধারণযোগ্যতা।
আমি এই রেফারেন্সটিতে সন্ধান করব এমন কয়েকটি জিনিসের উদাহরণ:
- সমস্ত ভাষা কি বিপরীত-সীমাবদ্ধ মাল্টি-কাউন্টার মেশিনগুলি স্বতঃ-বিপরীতমুখী একক কাউন্টার মেশিন দ্বারা স্বীকৃত?
- ডিস্ট্রিমেন্টিক রিভার্সাল-সীমাবদ্ধ মাল্টি কাউন্টার ভাষাগুলি কি বাম এবং ডান উপবৃত্তির অধীনে বন্ধ রয়েছে?
- একক-পাল্টা মেশিনগুলির জন্য সর্বজনীনতা সিদ্ধান্ত গ্রহণযোগ্য।
এগুলি কেবল উদাহরণস্বরূপ প্রশ্ন, আমার আরও অনেকগুলি রয়েছে যা আমার প্রতিদিনের কাজ করে।
একটি প্রাথমিক পয়েন্ট হিসাবে, আমি অসাম ইবারার "বিপরীতমুখী মাল্টিকাউন্টার মেশিনস এবং তাদের সিদ্ধান্ত সংক্রান্ত সমস্যাগুলি" উদ্ধৃত করে কোন কাগজপত্রগুলি সনাক্ত করার চেষ্টা করেছি, কিন্তু খুব বেশি কিছু খুঁজে পাইনি।