簡約

reduction

生成規則を右辺から左辺の方向に見る

入力記号列と生成規則の右辺を照合し、一致すれば生成規則の左辺で置換する

具体例

こんな生成規則を考える

code:bnf

E -> E + T | T

T -> T * F | F

F -> (E) | I

I -> a|b|c