In formal language theory, a context-free grammar, G, is said to be in Chomsky normal form if all of its production rules are of the form: A → BC, or A → a, or S → ε, where A, B, and C are nonterminal symbols, the letter a is a terminal symbol, S... Wikipedia