Ngôn ngữ L = { aⁿbⁿcⁿ : n ≥ 0 } không phải ngôn ngữ phi ngữ cảnh (không có PDA nào nhận nó), nhưng có máy Turing nhận: máy lặp lại việc đánh dấu một a, một b, một c mỗi vòng cho tới khi hết; nếu số lượng không khớp hoặc thứ tự sai thì từ chối.
Cho chuỗi s trên {a, b, c}, in ACCEPT nếu s ∈ L, ngược lại REJECT. Chuỗi rỗng thuộc L.
Ví dụ: aabbcc → ACCEPT; aabbc → REJECT; abc → ACCEPT.
Một dòng: chuỗi s (có thể rỗng), gồm ký tự a, b, c.
0 ≤ |s| ≤ 100000; s chỉ gồm a, b, c.
ACCEPT hoặc REJECT.
Ví dụ:
Đầu vào:
aabbcc
Đầu ra:
ACCEPT
Giải thích:
Đang tải editor...