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.