Encyclopedia > Chomsky Normal Form

  Article Content

Chomsky Normal Form

A formal grammar is in Chomsky Normal Form iff all production rules are of the form:
A -> BC or
A -> α
where A, B and C are nonterminal symbols and α is a terminal symbol.

Every grammar in Chomsky Normal is context-free, and conversely, every context-free grammar which does not generate the empty string can be transformed into an equivalent one which is in Chomsky Normal Form.

The Chomsky Normal Form of a context-free grammar is important because it yields efficient algorithms. For example, the CYK algorithm which decides whether a given string can be generated by a given grammar uses the Chomsky Normal Form.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Thomas a Kempis

... presence of the archbishop of Utrecht in St. Michael's Church, Zwolle, Nov. 11, 1897. Thomas Kempis belonged to the school of mystics who were scattered along the ...

This page was created in 30.7 ms