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