ChomskyNormalForm

A grammar is in Chomsky Normal Form if all productions are of the form

A -> BC

or

A -> a

where A, B and C are variables and a is a terminal.

See also NoamChomsky.