The Context Free Grammar Checker

http://smlweb.cpsc.ucalgary.ca/ 

Context-Free Grammar를 넣는다.
화살표는 ->
하나의 none-terminal rule이 끝나면 .
or는 |
각각 none,terminal은 띄어쓰기로 구분.

그리고 View Vital Statics를 클릭-

first와 follow가 나온다.

LL(1)이 아니고 이유도 나온다. 

LL(1)을 만들기 위해서 transform 클릭

left-recursive와 first가 같아서 LL(1)이 아니라니까

remove left recursion 실행, left-factor 실행

LL(1)완성!

parsing table도 그려준다.