Chomsky Normal Form

Etymology
Named after (b. 1928), American linguist and philosopher, who first described it.

Noun

 * 1)  A context-free grammar in which the right hand side of any production rule consists of either one terminal symbol or two non-terminal symbols.
 * Any &epsilon;-free Context Free Grammar can be converted (through an algorithm) into one in Chomsky Normal Form, and there is an algorithm that can parse formulas in the language of such a grammar in polynomial time; it is called the CYK algorithm.
 * 1)  A context-free grammar in which the right hand side of any production rule consists of either one terminal symbol or two non-terminal symbols (neither of which is the start symbol) or the epsilon (i.e. null string) symbol, but only if the left hand side is the start symbol. (Note: this is the full-fledged version, whereas the previous definition may be said to be defining Chomsky reduced form.)