এখানে আমরা দেখব কীভাবে ভাষা L = {aⁱbʲcᵏ | i × j = k; i, j, k ≥ 1} এর জন্য একটি টারিং মেশিন তৈরি করা যায়। এটি একটি ধরনের ভাষা উপস্থাপন করে যেখানে শুধু তিনটি ক্যারেক্টার A, B এবং C ব্যবহার করা হয়। w হলো একটি স্ট্রিং। তাই যদি w = AABBBBCCCCCCCC হয়, তবে টারিং মেশিনটি এটিকে একসেপ্ট করবে।
এটি সমাধানের জন্য আমরা এই পদ্ধতি ব্যবহার করব।
প্রথমে একটি A কে x-তে রিপ্লেস করুন এবং ডান দিকে যান। তারপর সব A স্কিপ করে ডান দিকে যান
যহেড প্রথম B-এ পৌঁছায়, একটি B কে y-তে রিপ্লেস করুন, তারপর ডান দিকে যান সব ইন্টারমিডিয়েট B স্কিপ করে এবং রিপ্লেস করা B-র সাথে মিলিয়ে একটি C কে z-তে রিপ্লেস করুন এবং বাম দিকে যান।
এখন বাম দিকে যান সব z এবং B স্কিপ করে।
যহেড সাম্প্রতিক y-এ পৌঁছায়, এক ধাপ ডান যান।
যহেড B-এ পয়েন্ট করছে তবে ধাপ ২ থেকে ৪ রিপিট করুন, অন্যথায় যখন z-এ পয়েন্ট করছে তবে বাম দিকে যান সব y কে B-তে রিপ্লেস করে এবং সব A স্কিপ করে।
যহেড সাম্প্রতিক x-এ আসে, এক ধাপ ডান যান।
যহেড এখনো A-এ পয়েন্ট করছে তবে উপরের সব ধাপ রিপিট করুন, অন্যথায় যখন হেড y-এ পয়েন্ট করছে তবে ডান দিকে যান সব y এবং z স্কিপ করে।
যহেড $ পৌঁছায়, বাম যান। স্ট্রিং একসেপ্ট হবে।
স্টেট ট্রানজিশন ডায়াগ্রাম
