তৃতীয় শ্রেণি
যদি পরীক্ষার অধীনে বাস্তবায়ন অবশ্যই একটি নির্দিষ্ট সসীম-অবস্থা মেশিন হতে হবে যা একটি একক ট্রেস (এবং এর ধারাবাহিকতা) এর সুনির্দিষ্টতায় ব্যর্থ হয় এবং এর অবস্থার সংখ্যা অজানা থাকে, তবে এটি শুধুমাত্র ক্লাস থ্রি থেকে ক্লাস থ্রি-তে অন্তর্ভুক্ত।
যদি অবস্থার সংখ্যা অজানা থাকে এবং মেশিনের সসীম অবস্থা একটি চিহ্নের জন্য ব্যর্থ হয়, তবে এটি কোন গ্রুপে পড়ে?