push down automaton

Menu

以下の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 ;