next up previous
Next: Greibach Normal Form(GNF) Up: Simplification of CFG Previous: Unit Productions

Chomsky Normal Form(CNF)

If L(G) does not contain tex2html_wrap_inline502 , then G can have a CNF form with productions only of type

tex2html_wrap_inline594

where tex2html_wrap_inline599


tex2html_wrap_inline600
tex2html_wrap_inline602
tex2html_wrap_inline604

tex2html_wrap_inline608


Sushil Prasad
Tue Jul 14 11:59:47 EDT 1998