In formal language theory, a context-free grammar is said to be in Chomsky normal form if all of its production rules are of the form: A -> BC or A -> α or S -> ε where A, B and C are nonterminal symbols, α is a terminal symbol (a symbol that represents a constant value), S is the start symbol, and ε is the empty string.
