Chomsky normal form

In formal language theory, a context-free grammar is said to be in Chomsky normal form (named for Noam Chomsky) if all of its production rulesTemplate:Disambiguation needed are of the form:

$A\to BC$ or

$A\to \alpha$ or

$S\to \epsilon$,

where $A$, $B$ and $C$ are nonterminal symbols, $\alpha$ is a terminal symbol (a symbol that represents a constant value), $S$ is the start symbol, and $\epsilon$ is the empty string. Also, neither $B$ nor $C$ may be the start symbol, and the third production rule can only appear if $\epsilon$ is in $L(G)$, namely, the language produced by the context-free grammar $G$.

Every grammar in Chomsky normal form is context-free, and conversely, every context-free grammar can be transformed into an equivalent one which is in Chomsky normal form. Several algorithms for performing such a transformation are known. Transformations are described in most textbooks on automata theory, such as Hopcroft and Ullman, 1979. As pointed out by Lange and Leiß, the drawback of these transformations is that they can lead to an undesirable bloat in grammar size. The size of a grammar is the sum of the sizes of its production rules, where the size of a rule is one plus the length of its right-hand side. Using $\left|G\right|$ to denote the size of the original grammar $G$, the size blow-up in the worst case may range from $|G{|}^2$ to $2^{2\left|G\right|}$, depending on the transformation algorithm used.

Alternative definition

Another way to define the Chomsky normal form (e.g., Hopcroft and Ullman 1978,and Hopcroft et al. 2006) is:

A formal grammar is in Chomsky reduced form if all of its production rules are of the form:

$A\to BC$ or

$A\to \alpha$,

where $A$, $B$ and $C$ are nonterminal symbols, and $\alpha$ is a terminal symbol. When using this definition, $B$ or $C$ may be the start symbol. Only those context-free grammars which do not generate the empty string can be transformed into Chomsky reduced form.

Converting a grammar to Chomsky Normal Form

1. Introduce $S_0$

   Introduce a new start variable, $S_0$ and a new rule $S_0\to S$ where $S$ is the previous start variable.

2. Eliminate all $\epsilon$ rules

   $\epsilon$ rules are rules of the form $A\to \epsilon$, where $A=S_0$ and $A\in V$, where $V$ is the CFG's variable alphabet.

   Remove every rule with $\epsilon$ on its right hand side (RHS). For each rule with $A$ in its RHS, add a set of new rules consisting of the different possible combinations of $A$ replaced or not replaced with $\epsilon$. If a rule has $A$ as a singleton on its RHS, add a new rule $R=A\to \epsilon$ unless $R$ has already been removed through this process. For example, examine the following grammar $G$:

   $S\to AbA\mid B$

   $B\to b\mid c$

   $A\to \epsilon$

   $G$ has one $\epsilon$ rule. When the $A\to \epsilon$ is removed, we get the following:

   $S\to AbA\mid Ab\mid bA\mid b\mid B$

   $B\to b\mid c$

   Notice that we have to account for all possibilities of $A\to \epsilon$ and so we actually end up adding 3 rules.

3. Eliminate all unit rules

   $A\to B;A,B\in V$

   After all the $\epsilon$ rules have been removed, you can begin removing unit rules, or rules whose RHS contains one variable and no terminals (which is inconsistent with CNF).

   To remove $A\to B$

   $\mathrm{\forall }B\to U$, where $U$ is a string of variables and terminals, add rule $A\to U$ unless this is a unit rule which has already been removed.

4. Clean up the remaining rules that are not in Chomsky normal form.

   Replace $A\to u_1{u}_2\dots u_k,k\ge 3,u_1\in V\cup \mathrm{\Sigma }$ with $A\to u_1{A}_1,A_1\to u_2{A}_2,\dots ,A_{k-2}\to u_{k-1}{u}_k$, where $A_i$ are new variables.

   If $u_i\in \mathrm{\Sigma }$, replace $u_i$ in above rules with some new variable $V_i$ and add rule $V_i\to u_i$.

See also

• Backus-Naur form
• CYK algorithm
• Greibach normal form
• Kuroda normal form

References

• John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X. (See chapter 4.)
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 (Pages 98–101 of section 2.1: context-free grammars. Page 156.)
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 (Pages 237–240 of section 6.6: simplified forms and normal forms.)
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 (Pages 103–106.)
• Cole, Richard. Converting CFGs to CNF (Chomsky Normal Form), October 17, 2007. (pdf)
• Sipser, Michael. Introduction to the Theory of Computation, 2nd edition.