Chomsky Normal Form

A Grammar is said to be in the Chomsky normal form if every production rule is either:

• for variables , or
• for variable and terminal symbol .

Note that every Chomsky normal form grammar gives a Context-Free Formal Language. The reverse also holds.