Análisis Sintáctico

Formas Normales de Chomsky
Una gramática formal está en Forma normal de Chomsky si todas sus reglas de
producción son de alguna de las siguientes formas:
A → BC o
A → a o
donde A, B y 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.
Una gramática sin reglas de producción unitarias, sin símbolos inútiles ni anulables
puede expresarse en la FNC, en la cual todas las reglas de producción tienen del
lado derecho un terminal o bien 2 variables, es decir, las reglas de producción son
de la forma
Variables accesibles:
Si existe una derivación desde el símbolo inicial que contiene X, es decir,
existe $ → * α Xβ donde α, β Є∑*
Variables generativas:
Si existe una derivación desde el la variable que produce una sentencia, es
decir, existe X →* ω donde ω Є *T.
15