INSTITUTO CONSORCIO CLAVIJERO

ALUMNA: JESSICA VELZQUEZ NAMBO

MATEMTICAS DISCRETAS
Tarea 8. Jerarqua de Chomsky
Instrucciones: Lee detenidamente estas instrucciones y resuelve los
ejercicios que se te indican. NOTA: En caso de que tenga alguna duda,
hazla llegar al facilitador.
Fecha lmite
de entrega

VALOR del producto entregable: 7%
Para realizar esta actividad:
1. Lee detenidamente los contenidos del tema 8.1. Autmatas, lenguajes y
gramticas.
2. Descarga el archivo tarea8 , haz clic aqu, el documento de Daz Madrigal, V.
Caete, J. "Jerarqua de Chomsky" y lelo detenidamente.
3. Con base en esta lectura, redacta, en Word, un resumen de dicho texto. En caso de
que quieras consultar la manera correcta de elaborar un resumen haz clic aqu.
4. Guarda el documento de la siguiente forma: tarea8nombreapellido y envalo a
la plataforma (ste es un ejemplo de cmo se vera el nombre del documento
guardado: tarea8AugustoPeniche.doc).
Viernes de la
semana 8.

Criterios para la ejecucin de la actividad:
Redacta el documento con letra Arial, a 12 puntos, y un mximo de cinco cuartillas.
Aplica un interlineado de espacio y medio.
Utiliza el ttulo de la actividad como encabezado y reproduce el planteamiento de
sta.
Redacta un resumen del trabajo de Daz Madrigal, V. Caete, J. "Jerarqua de
Chomsky".
Emplea una redaccin y ortografa correctas.
Efecta esta tarea de manera individual.














Jerarqua de Chomsky

Es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales.
Esta jerarqua fue descrita por Noam Chomsky en 1956.
La Jerarqua de Chomsky consta de cuatro niveles:
Gramticas de tipo 0 (sin restricciones), que incluye a todas las gramticas formales. Estas gramticas
generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing. Los lenguajes son
conocidos como lenguajes recursivamente enumerables. Ntese que esta categora es diferente de la
de los lenguajes recursivos, cuya decisin puede ser realizada por una mquina de Turing que se
detenga.
Gramticas de tipo 1 (gramticas sensibles al contexto) generan los lenguajes sensibles al contexto.
Estas gramticas tienen reglas de la forma con un no terminal y , y cadenas
de terminales y no terminales. Las cadenas y pueden ser vacas, pero no puede serlo. La
regla est permitida si no aparece en la parte derecha de ninguna regla. Los lenguajes
descritos por estas gramticas son exactamente todos aquellos lenguajes reconocidos por unamquina
de Turing determinista cuya cinta de memoria est acotada por un cierto nmero entero de veces sobre
la longitud de entrada, tambin conocidas como autmatas linealmente acotados.
Gramticas de tipo 2 (gramticas libres del contexto) generan los lenguajes independientes del
contexto. Las reglas son de la forma con un no terminal y una cadena de terminales y no
terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autmata con pila.
Gramticas de tipo 3 (gramticas regulares) generan los lenguajes regulares. Estas gramticas se
restringen a aquellas reglas que tienen en la parte izquierda un no terminal, y en la parte derecha un
solo terminal, posiblemente seguido de un no terminal. La regla tambin est permitida si no
aparece en la parte derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados
por un autmata finito. Tambin esta familia de lenguajes pueden ser obtenidas por medio
de expresiones regulares.








Chomsky generaliza el concepto de gramtica G = (VT; VN; S; P) y propone una clasicacin (jerarqua)
segn la forma que deben tener sus producciones:
Regulares (GREG) Por la izquierda: A Aa A a
Por la derecha: A aA A a
Independientes del contexto (GIC) A v
Dependientes del contexto (GDC) Av con | A | |v|
Con estructura de frase (GEF) A

donde A; B V
N
, V
T
, , , V* y v V
+

Para cubrir el caso de la generacin de en todos los tipos de gramticas, se admite la inclusin de la regla:
S en GREGs, GICs y GDCs.

La jerarqua de Chomsky implica a su vez una jerarqua de lenguajes.
Las gramticas de GREGs, que coinciden con los lenguajes autmatas finitos y la de los lenguajes escritos por
expresiones regulares.
Las GICs que coinciden los autmatas de pila.
Las GDFs que coinciden con el lenguaje de las mquinas de Turing.
Teorema Si todas las reglas de una gramtica G son de la forma A con A V
N
y V*, entonces podemos
obtener otra gramtica GIC equivalente a G.
Ejemplo: Sea la GDC G = (fa; b; cg;fS; Mg; S; P) donde:

P =


SMc|SMc|
Mb
bMbb
cMMc
La gramtica G genera el lenguaje dependiente del contexto a
n
b
n
c
n
con n>0.
Un ejemplo de derivacin sera:
S SM c M cMc bcMc bM cc bbcc


Teorema Toda gramtica GDC G pueden ser convertida en otra gramtica equivalente G
0
donde todas las reglas de G
0

son la forma Av o S con AV
N
, v V
+
y , V*.
Es decir, reglas en donde A se sustituye por v en el contexto (, ).
Este tipo de gramticas admiten reglas compresoras, que son las que cumplen con el tamao de su lado derecho sea
menor que el de su lado izquierdo.
Mquinas de Turing.
Una mquina de Turing (MT) es una tupla M = (; ; 4; Q; q0; F; ) donde:
es el alfabeto de la cinta innita por ambos lados.
es el alfabeto de la entrada
( ) es el smbolo espacio en blanco.
Q conjunto nito de estados.
q
0
Q es el estado inicial y F Q conjunto de estados nales (o de aceptacin).
: Q Q x x {I,D}; es la funcin de transicin que puede ser parcial.
Una funcin de cadena es Turing computable si existe una MT M = (; ; ; Q; q
0
; F; )
Los lenguajes aceptados por una mquina de Turing se denominan Lenguajes recursivamente enumerables.
Denotamos mediante LRE a la clase de los lenguajes recursivamente enumerables.
Equivalencia: Decimos que dos MT M
1
y M
2
son equivalentes cuando L(M
1
) = L(M
2
).
Los lenguajes para los que existe una MT que para con cualquier cadena de entrada (pertenezca o no al lenguaje) se
denominan lenguajes recursivos. Denotamos la clase de los lenguajes recursivos mediante LR.

Variantes de una MT
Almacenamiento en la unidad: Los estados son tuplas sobre dominios nitos.
Cinta multipista: Los smbolos son tuplas sobre dominios nitos.
Directiva Q: Indica que el puntero de lectura/escritura se queda quieto.
Teorema Las MT con k > 1 cintas aceptan la misma clase de lenguajes que las MT con una sola cinta.
Teorema Las MT no deterministas aceptan la misma clase de lenguajes que las MT.


Fuentes de consulta Bibliogrfica.

Jerarqua de Chomsky. Autores: Vctor J. Daz Madrigal y Jos Miguel Caete.
http://cursos.clavijero.edu.mx/cursos/006_md/modulo8/tareas/documentos/Anexo32-Chomsky.pdf
Consultado el 17 de marzo del 2014.


Wikipedia. La enciclopedia libre. Jerarqua de Chomsky.
http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky
Consultado el 17 de marzo del 2014.