JERARQUA DE CHOMSKY

Segn Chomsky se clasifica las gramticas en cuatro tipos (cuales son, como vemos ms
adelante, entre si verdaderamente diferentes).

Entonces sea
una gramtica (y
). Las gramticas
se distinguen solamente en el sistema de producciones que siempre ser un conjunto finito
y que se clasifica en los siguientes tipos:
Tipo 0:
Gramticas generales sin restricciones

Es decir, se sustituye por lo menos un smbolo no-terminal.

Tipo 1:
Gramticas sensibles al contexto

Es decir, se sustituye un smbolo no-terminal por algo manteniendo el

contexto; entonces una derivacin siempre produce palabras ms largas
o iguales (

Tipo 2:
Gramticas libres de contexto

Es decir, se sustituye solo smbolos no-terminales por palabras no vacas

Tipo 3:
Gramticas regulares (o lineales)

JERARQUA DE CHOMSKY

Es decir, lineales a la izquierda (porque los smbolos no-terminales

aparecen en una derivacin siempre a la izquierda de la palabra)

Es decir, lineales a la derecha (porque los smbolos no-terminales

aparecen en una derivacin siempre a la derecha de la palabra)

Se ha introducido explcitamente la regla

en las gramticas de

tipos 1, 2, y 3 para permitir que el lenguaje

puede ser generado
dado que las reglas solo permiten un crecimiento de la longitud de las
palabras a lo largo de las derivaciones.

Retomamos la clasificacin de las gramticas hacia final del curso (por

ejemplo, respondemos a la pregunta si son de verdad clases separadas).

Observacin: si permitimos para las gramticas de libre contexto reglas del tipo
, es decir, permitimos reglas como

, podemos sustituir todas las

reglas que tengan una a la derecha, por ejemplo

por
conseguir as una eliminacin de las producciones compresoras.

,y