Una gramática formal está en Forma normal de Chomsky si todas sus reglas de producción son de alguna de las siguientes formas:

${\displaystyle A}$${\displaystyle \rightarrow \,}$${\displaystyle BC}$ o

${\displaystyle A}$${\displaystyle \rightarrow \,}$α

donde ${\displaystyle A}$, ${\displaystyle B}$ y ${\displaystyle C}$ son símbolos no terminales (o variables) y α es un símbolo terminal.

Todo lenguaje independiente del contexto que no posee a la cadena vacía, es expresable por medio de una gramática en forma normal de Chomsky (GFNCH) y recíprocamente. Además, dada una gramática independiente del contexto, es posible algorítmicamente producir una GFNCH equivalente, es decir, que genera el mismo lenguaje.

En algunos textos se puede encontrar una definición de una GFNCH de forma que cualquier GFNCH produzca cualquier lenguaje independiente del contexto y de la misma manera, que para cualquier lenguaje independiente del contexto exista una GFNCH que lo defina. Esta definición apenas se diferencia en permitir una regla ε de la siguiente forma:

${\displaystyle A}$${\displaystyle \rightarrow \,}$${\displaystyle BC}$ o

${\displaystyle A}$${\displaystyle \rightarrow \,}$α o

${\displaystyle S}$${\displaystyle \rightarrow \,}$ε

donde ${\displaystyle S}$ es el símbolo distinguido (o inicial) de la gramática, ${\displaystyle A}$ es un símbolo no terminal (o variable), ${\displaystyle B}$ y ${\displaystyle C}$ también son símbolos no terminales pero distintos de ${\displaystyle S}$, α es un símbolo terminal, y ε es la cadena nula (o vacía).

• Gramática (autómata)
• Forma normal de Greibach