คำอธิบายปัญหาที่นี่เราจะดูวิธีสร้าง Turing machine สำหรับภาษา L = {AiBjCk | i < j < k; i ≥ 1} ดังนี้แสดงถึงภาษาประเภทหนึ่งที่เราจะใช้ตัวอักษรแค่สามตัวคือ A, B และ C w คือสตริง เช่นถ้า w = AABBBBCCCCC Turing machine จะยอมรับมัน |Second| แล้วจะ被接受 มิฉะนั้นไม่被接受State Transition Diagram –