of
Context-Free Grammars
1
, A Substitution Rule
Equivalent
grammar
S aB
S aB | ab
A aaA
Substitute A aaA
A abBc B b A abBc | abbc
B aA
B aA
B b
2
, A Substitution Rule
S aB | ab
A aaA
A abBc | abbc
B aA
Substitute
B aA
S aB | ab | aaA
A aaA Equivalent
A abBc | abbc | abaAc grammar
3