Diff — Context-free grammar

Revision #3272 → #3810 · back to history

modifiedNonterminal / variablede2b01cb52d9

Field	From #3272	To #3810
provenance	ai	ai-moderated

modifiedTerminalsdf174e215d3b

Field	From #3272	To #3810
provenance	ai	ai-moderated

addedPumping lemma for context-free languages68e02d1f705e

addedChomsky normal form665f8778e45d

addedGreibach normal form84feb05febc0