টিউরিং মেশিন এবং অনিয়ন্ত্রিত ব্যাকরণ দুটি আলাদা ফর্মালিজম যা আরআর ভাষা সংজ্ঞায়িত করে। কিছু আরআর ভাষা নির্ধারণযোগ্য, তবে সমস্ত নয়।
আমরা ট্যুরিং মেশিনের সাহায্যে নির্ধারিত ভাষাগুলিকে সংজ্ঞায়িত করতে পারি যে কোনও ভাষার জন্য যদি কোনও টিএম থাকে যা ভাষার সমস্ত স্ট্রিং বন্ধ করে এবং গ্রহণ করে এবং ভাষাতে নয় সমস্ত স্ট্রিং প্রত্যাখাত করে language আমার প্রশ্নটি হ'ল: ট্যুরিং মেশিনের পরিবর্তে অনিয়ন্ত্রিত ব্যাকরণগুলির উপর ভিত্তি করে সিদ্ধান্ত গ্রহণযোগ্য ভাষার কোনও অভিন্ন সংজ্ঞা রয়েছে?
উত্তর:
একটি ভাষা নির্ধারণযোগ্য, যদি এটি আধা-নির্ধারণযোগ্য হয় এবং এর পরিপূরকটি আধা-নির্ধারণযোগ্য। তদ্ব্যতীত, একটি ভাষা যদি এটি অর্ধ-নির্ধারণযোগ্য হয় এবং এটির ফলে আপনি একটি সীমাহীন ব্যাকরণ খুঁজে পেতে পারেন তবে তা পুনরাবৃত্তিমূলক ume Therfore:
একটি ল্যাঙ্গুয়েজ হয় নির্ধার্য iff সেখানে উভয় একটি অবাধ ব্যাকরণ হল সঙ্গে এবং একটি অবাধ ব্যাকরণ সঙ্গে ।
(পুনরাবৃত্ত ভাষাগুলির সেট) এর জন্য ব্যাকরণগুলির একটি কার্যকর শ্রেণি হতে পারে না , যেহেতু
প্রথমটি অবশ্যই কঠোর উপপাদ্য নয় (এবং এটি হতে পারে না), এটি কেবল বিচারের অনুমান। সমস্ত ব্যাকরণের সংকলন অগণনীয়, এবং যে কোনও বিধিনিষেয় যে সিদ্ধান্ত গ্রহণযোগ্য নয় তা সম্ভবত খুব কার্যকর নয় itself নিজের মধ্যে; বিশেষত এটি সিনট্যাকটিক বাধা হবে না (চমস্কির মতো) like
দ্বিতীয়টি আনুষ্ঠানিকভাবে সত্য, এখানেও দেখুন ।
এই প্রশ্নটি 1994 সাল থেকে হেনিং ফার্নাউ একটি গবেষণাপত্রে সম্বোধন করেছেন। হেনিং বলেছেন:
উদাহরণ হিসাবে আমরা পুনরাবৃত্ত ভাষাগুলির পরিবারকে বিবেচনা করি। এই ভাষা শ্রেণীর একটি 'প্রাকৃতিক' ব্যাকরণগত বৈশিষ্ট্য আছে কিনা তা একটি উন্মুক্ত প্রশ্ন। আমরা নিম্নলিখিতটিতে দেখাব যে, পুনরাবৃত্ত ভাষাগুলির বৈশিষ্ট্যযুক্ত যে কোনও ব্যাকরণ পরিবারটির কিছু অদ্ভুত বৈশিষ্ট্য থাকতে হবে।
আমরা যারা পাঠককে সেই অদ্ভুত বৈশিষ্ট্যগুলি সম্পর্কে কাগজটিতে জানতে আগ্রহী, তাদের নির্দেশনা করি।