Documentos de Académico
Documentos de Profesional
Documentos de Cultura
JERARQUIAS DE CHOMSKY
CONTENIDO
En 1959 Noam Chomsky clasifico las gramáticas en cuatro familias. Las gramáticas no
restringidas, sensibles al contexto, independientes del contexto y las gramáticas regulares que
se conocen como gramáticas de tipo cero, uno, dos y tres respectivamente. Los lenguajes que
resultan de dichas gramáticas también se identifican con lenguajes de tipo cero, uno, dos y tres.
A esta jerarquía de lenguaje se le conoce como la jerarquía de chomsky.
Gramática Regular: Es aquella gramática cuyas reglas de reescritura tienen las siguientes
restricciones:
1.- El lado izquierdo de cualquier regla de reescritura debe consistir en un solo no terminal, el
lado derecho debe ser un terminal seguido por un no terminal, o un solo terminal o la cadena
vacía
Ejemplo:
Z yX
X y
X
Ejemplo:
yW X
X xZy
YX WvZ
En una gramática regular cualquier regla de la forma N x podría remplazarse con el par de
reglas siguientes:
N xX
X
Donde X es un no terminal que no aparece en ningún otro lugar de la gramática, sin alterar el
conjunto de cadenas que podría generar la gramática.
N xX x =x
NOTA:
se interpreta como "puede ser", "se compone de", "es sustituida por".
A diferencia de las gramáticas regulares, estas gramáticas no tienen restricciones con respecto a
la forma del lado derecho de sus reglas de reescritura aunque aun se requiere que el lado
izquierdo de cada regla sea un no terminal. La siguiente es una gramática independiente del
contexto, pero no es regular.
S zMNz
M aMa
M z
N bNb
N z
El termino independiente del contexto refleja que, como el lado izquierdo de cada regla de
reescritura únicamente puede contener un solo no terminal la regla puede aplicarse sin importar
el contexto donde se encuentre dicho no terminal.
Al igual que las gramáticas regulares, las independientes del contexto (G.I.C.) generan cadenas
por medio de derivaciones. En el caso de las G.I.C. pueden surgir dudas con respecto a cual
será el no terminal que deberá reemplazarse en un paso especifico de la derivación. Por ejemplo
al generar una cadena con la gramática anterior en el primer paso produce la cadena zMNz que
representa la opción de reemplazar el no terminal M o el N en el siguiente paso. Por
consiguiente, para generar la cadena zazabzbz se podría producir la siguiente derivación
zazababa (por la izquierda).
Siguiendo la regla rutinaria de aplicar siempre una regla de reescritura al no terminal mas a la
izquierda en la cadena actual, a esto se le llama derivación por la izquierda.
Aplicando siempre al regla de reescritura al no terminal situado mas a la derecha, lo cual daría
como resultado una derivación por la derecha. Incluso se podrían seguir otros patrones y obtener
otras derivaciones de la misma cadena.
ACTIVIDADES OBLIGATORIAS
S bA
A aA\b\
ACTIVIDADES SUGERIDAS
1. Dada la siguiente gramática derive xyz, yzrr, yyzr
S xT
S yT
T yU
U zW
W rX
X
w
1. Muestre que es posible modificar la gramática que se presenta a continuación (con
símbolo inicial S) para formar una gramática regular, sin cambiar el lenguaje que se
genera. Compruebe el resultado derivando la cadena yxxy con ambas gramaticas.
S yX
X xxX
X yY
Y
1. Convierta la siguiente gramática regular en otra gramática regular que no contenga
reglas de reescritura cuyos lados derechos consistan en un solo terminal pero a la vez
genere el mismo lenguaje. Compruebe el resultado derivando la cadena xy o xz con
ambas gramáticas.
S xS
S y
S z
S
TIPOS DE GRAMATICAS
Los “Lengua jes Regulares”, que es la clase m´na, e incluye a los lenguajes m´
as peque˜as simples. 10 Un ejemplo de lenguaje regular es el conjunto de todos los n´
umero binarios.
Los “Lengua jes Libres de Contexto”, que incluyen a los Lengua jes Regulares. Por ejem-
plo, la mayor´ia de los lengua jes de programaci´
on son Lengua jes Libres de Contexto.
Los “Lengua jes Recursivamente Enumerables”, que incluyen a los Libres de Contexto
(y por lo tanto a los Lengua jes Regulares).
Todas estas clases de lengua jes son representables de manera finita (mediante cadenas on
). Ahora bien, como veremos m´
de caracteres que sirven como representaci´as adelante,