여기에서 언어 L ={AiBjCk | 나는

이를 해결하기 위해 이 접근 방식을 사용합니다. 먼저 두 요소를 단일 요소로 비교한 후 단일 요소를 비교한 후 |first|> |(두 번째, 세 번째)| 및 |두 번째|> |세 번째| 그러면 수락됩니다. 이제 |세 번째|> |(첫 번째, 두 번째)| 그리고 |첫째|> |두 번째| 이면 승인되고, 그렇지 않으면 승인되지 않습니다.

상태 전환 다이어그램 -