프로그래밍언어론 - BNF 모호함을 나타내기

<S> :: = <A>
<A> ::= <A> * <A> | <id>
<id> ::= x | y | z

 해당 문법으로 모호함을 보이는 문제이다. 이런 경우, 먼저 해당 문법에서 어떤 것이 모호한지 생각해봐야한다. 해당 문법에서는 *가 있으니까 x*y*z에서 x와 y를 먼저 곱하는 경우, y*z를 먼저 곱하는 경우가 있을 수 있다는 것을 알 수 있다.

 먼저 다음과 같이 두개의 파스트리가 나올 수 있다.

당연하겠지만 이와 같은 파스트리를 그리기 위해서는 유도 과정도 적을 수 있다.