LENGUANJES LIBRES

GRAMATICA REGULAR FORMA NORMAl DE

En Lingüística, Matemáticas e Informática y en la
CHOMSKY
jerarquía de Chomsky se refiere a las gramáticas
que definen a los lenguajes de tipo 3 o lenguajes Una gramática formal está en Forma normal
regulares. Se dividen en dos tipos fundamentales de Chomsky si todas sus reglas de producción
según la forma de sus producciones: son de alguna de las siguientes formas:
Gramática regular derecha.
ya que el símbolo no terminal del consecuente
(parte derecha de la flecha) es el más a la derecha donde A, B y C son símbolos no terminales (o
variables) y α es un símbolo terminal.
de los símbolos.
Gramática regular izquierda.
porque el símbolo más a la izquierda del
consecuente es el símbolo no terminal.

SIMPLIFICACION DE LA GRAMATICA
La simplificación de gramáticas incontextuales afecta a tres aspectos distintos pero
interrelacionados :
*Los símbolos inútiles de la gramática, que no inciden en la capacidad generativa a la misma y que,
por lo tanto, pueden ser eliminados sin variar el lenguaje de la gramática.
*Las producciones vacías, A -> λ, que como veremos, al ser eliminadas, provocan una
transformación en el resto de producciones cuyo efecto es una gramática que define el mismo
lenguaje menos λ.
→
*Las producciones unitarias, A B que, al igual que en el caso anterior, su eliminación produce una
transformación en la gramática, obteniendo, en este caso, una gramática equivalente.