generated at
簡約
from BNF記法

reduction
導出の逆
生成規則を右辺から左辺の方向に見る
入力記号列と生成規則の右辺を照合し、一致すれば生成規則の左辺で置換する

具体例
こんな生成規則を考える
bnf
E -> E + T | T T -> T * F | F F -> (E) | I I -> a|b|c
この開始記号の例えば (a + b) * c から E を得ることを考える
導出#5dca79a51982700000ea544eを後ろからみていけば E に還元できる