拡大文法
もとの文法に、
S' -> S
を加えたもの
Sはもとの文法の開始記号
何のために作るのか
受理動作がこの生成規則の還元時にのみ、起こるようにするため
例
こんな文法があるとする
code:bnf
L -> A ∨ L
L -> A
A -> N ∧ A
...
拡大文法はこう
code:bnf
L' -> L
L -> A ∨ L
L -> A
A -> N ∧ A
...