-title: push down automaton

以下のCFGを PDA に変換せよ

小文字と記号は terminal であるとする。

各要素を含む例題を作成し、PDAに受け付けられることを示せ。

--1


      EXPR : '(' EXPR ')' | EXPR '+' EXPR | EXPR '=' EXPR' |  x | y | z ;

--2

      STATEMENT : 
           :  if EXPR then STATEMENT 
           |  if EXPR then STATEMENT  else STATEMENT 
           |  while EXPR '{' STATEMENT '}'
           |  s | t | u ;