এখানে আমরা দেখব কীভাবে ভাষা L = {aⁱbʲcᵏ | i > j > k; k ≥ 1} এর জন্য একটি টারিং মেশিন তৈরি করা যায়। এটি একটি ধরনের ভাষা উপস্থাপন করে যেখানে শুধু তিনটি ক্যারেক্টার a, b এবং c ব্যবহার করা হয়। w হলো একটি স্ট্রিং। তাই যদি w = aaaaaabbbbccc হয়, তবে টারিং মেশিনটি এটিকে একসেপ্ট করবে।
এটি সমাধানের জন্য আমরা এই পদ্ধতি ব্যবহার করব। প্রথমে দুটি এলিমেন্ট তুলনা করব A এবং D কে একক এলিমেন্ট হিসেবে বিবেচনা করে, এরপর A এবং D তুলনা করব যদি C-এর কাউন্ট |(A, D)|-এর চেয়ে বড় হয়, তবে স্ট্রিং একসেপ্ট হবে না, যদি |D| > |A| হয়, তবে একসেপ্ট হবে না, অন্যথায় একসেপ্ট হবে।
স্টেট ট্রানজিশন ডায়াগ্রাম
