Xây máy Turing cho L = {aibjck | i < j < k; i ≥ 1}. Chuỗi A, B, C với số lượng tăng dần. Ví dụ: AABBBBCCCCC được chấp nhận.
Phương pháp
So sánh 2 phần tử làm 1 đơn vị. So sánh đơn vị: nếu |first| > |(second,third)| và |second| > |third| → chấp nhận. Nếu |third| > |(first,second)| và |first| > |second| → chấp nhận. Ngược lại → từ chối.
Sơ đồ chuyển trạng thái
