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.