เราจะมาดูวิธีการสร้างเครื่องทัวริงสำหรับภาษา L ={AiBjCk | ผม> j> k; k ≥ 1} นี่จึงเป็นตัวแทนของภาษาที่เราจะใช้เพียงสามตัวอักษร a, b และ c w เป็นสตริง ดังนั้นถ้า w =aaaaaabbbbccc เครื่องทัวริงจะยอมรับมัน
เพื่อแก้ปัญหานี้ เราจะใช้แนวทางนี้ ขั้นแรกให้เปรียบเทียบสององค์ประกอบโดยทำให้ A และ D เป็นองค์ประกอบเดียว หลังจากนั้นจึงเปรียบเทียบ A และ D หากจำนวน C มากกว่า |(A, D)| สตริงจะไม่ถูกยอมรับหาก |D|> |A| ถ้าอย่างนั้นไม่รับ ไม่อย่างนั้นจะรับค่ะ
แผนภาพการเปลี่ยนสถานะ
