Ở đây chúng ta sẽ xem cách tạo một máy Turing cho ngôn ngữ L ={AiBjCk | i
Để giải quyết vấn đề này, chúng tôi sẽ sử dụng cách tiếp cận này. Đầu tiên so sánh hai phần tử như một phần tử duy nhất, sau đó so sánh phần tử đơn lẻ nếu | đầu tiên |> | (Thứ hai, Thứ ba) |, và | Thứ hai |> | Thứ ba |, sau đó nó sẽ được chấp nhận. Bây giờ nếu | Thứ ba |> | (Thứ nhất, Thứ hai) | và | Đầu tiên |> | Thứ hai |, thì nó sẽ được chấp nhận, nếu không thì không được chấp nhận.
Sơ đồ chuyển đổi trạng thái -
