เราจะมาดูวิธีการสร้างเครื่องทัวริงสำหรับภาษา L ={AiBjCk | ผม

เพื่อแก้ปัญหานี้ เราจะใช้แนวทางนี้ ขั้นแรกให้เปรียบเทียบสององค์ประกอบเป็นองค์ประกอบเดียว หลังจากนั้นเปรียบเทียบองค์ประกอบเดียวถ้า |ก่อน|> |(ที่สอง, สาม)| และ |ที่สอง|> |สาม| แล้วจึงจะได้รับการยอมรับ ตอนนี้ถ้า |สาม|> |(แรก สอง)| และ |ก่อน|> |Second| แล้วจะได้รับการยอมรับ ไม่เช่นนั้นไม่รับ

แผนภาพการเปลี่ยนสถานะ -