Definition 4.3.3: a context-free grammar is in Chomsky normal form provided that each production either has the form A _ BC with B and C variables, or has the form A ____where _ is a terminal symbol.

Theorem 4.3.3: For each context-free grammar G with ___L(G), there is an equivalent grammar in Chomsky normal form.

Previous slide | Next slide | Back to first slide | View graphic version |