"일반적으로 한 문법이 모호하다는 것을 형식적으로 증명할 수 있는 방법이 존재하지 않으며, 모호하게 하지 않게 바꾸는 알고리즘도 존재하지 않는다."고 책에 써져 있는데 첫 번째 사실이 의심됩니다.
그냥 문장의 유도 트리 두 개를 적으면 끝 아닌가요?

- dc official App