INSTITUTO CONSORCIO CLAVIJERO

ALUMNO: Antonio Roldan Mendoza.

MATEMÁTICAS DISCRETAS

Tarea 8. Jerarquía de Chomsky

Instrucciones: Lee detenidamente estas instrucciones y resuelve los Fecha límite

ejercicios que se te indican. NOTA: En caso de que tenga alguna duda, de entrega
hazla llegar al facilitador.
VALOR del producto entregable: 7%

Para realizar esta actividad:

1. Lee detenidamente los contenidos del tema 8.1. Autómatas, lenguajes y

gramáticas.
2. Descarga el archivo “tarea8” , haz clic aquí, el documento de Díaz Madrigal, V.
Cañete, J. "Jerarquía de Chomsky" y léelo 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 envíalo a
la plataforma (éste es un ejemplo de cómo se vería el nombre del documento
guardado: tarea8AugustoPeniche.doc).
Viernes de la
semana 8.
Criterios para la ejecución de la actividad:

• Redacta el documento con letra Arial, a 12 puntos, y un máximo de cinco cuartillas.

• Aplica un interlineado de espacio y medio.
• Utiliza el título de la actividad como encabezado y reproduce el planteamiento de
ésta.
• Redacta un resumen del trabajo de Díaz Madrigal, V. Cañete, J. "Jerarquía de
Chomsky".
• Emplea una redacción y ortografía correctas.
• Efectúa esta tarea de manera individual.
Es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
Esta jerarquía fue descrita por Noam Chomsky en 1956.

La Jerarquía de Chomsky consta de cuatro niveles:

• Gramáticas de tipo 0 (sin restricciones), que incluye a todas las gramáticas formales. Estas gramáticas
generan todos los lenguajes capaces de ser reconocidos por una máquina de Turing. Los lenguajes son
conocidos como lenguajes recursivamente enumerables. Nótese que esta categoría es diferente de la
de los lenguajes recursivos, cuya decisión puede ser realizada por una máquina de Turing que se
detenga.

• Gramáticas de tipo 1 (gramáticas sensibles al contexto) generan los lenguajes sensibles al contexto.
Estas gramáticas tienen reglas de la forma con un no terminal y , y cadenas
de terminales y no terminales. Las cadenas y pueden ser vacías, pero no puede serlo. La
regla está permitida si no aparece en la parte derecha de ninguna regla. Los lenguajes
descritos por estas gramáticas son exactamente todos aquellos lenguajes reconocidos por unamáquina
de Turing determinista cuya cinta de memoria está acotada por un cierto número entero de veces sobre
la longitud de entrada, también conocidas como autómatas linealmente acotados.

• Gramáticas de tipo 2 (gramáticas 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 autómata con pila.

• Gramáticas de tipo 3 (gramáticas regulares) generan los lenguajes regulares. Estas gramáticas 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 también está permitida si no
aparece en la parte derecha de ninguna regla. Estos lenguajes son aquellos que pueden ser aceptados
por un autómata finito. También esta familia de lenguajes pueden ser obtenidas por medio
de expresiones regulares.

Chomsky generaliza el concepto de gramática G = (VT; VN; S; P) y propone una clasificación (jerarquía)
según 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) αAβ→v con | αAβ | ≤ |v|

Con estructura de frase (GEF) αAβ →ϒ

donde A; B ϵ VN, α ϵ VT, α, β, ϒ ϵ V* y v ϵ V+

Para cubrir el caso de la generación de ¸ en todos los tipos de gramáticas, se admite la inclusión de la regla:
S →λ ¸ en GREGs, GICs y GDCs.

La jerarquía de Chomsky implica a su vez una jerarquía de lenguajes.

Las gramáticas de GREGs, que coinciden con los lenguajes autómatas finitos y la de los lenguajes escritos por
expresiones regulares.

Las GICs que coinciden los autómatas de pila.

Las GDFs que coinciden con el lenguaje de las máquinas de Turing.

Teorema Si todas las reglas de una gramática G son de la forma A→ ϒ con A ϵ VN y ϒ ϵ V*, entonces podemos
obtener otra gramática GIC equivalente a G.

Ejemplo: Sea la GDC G = (fa; b; cg;fS; Mg; S; P) donde:

S→αMc|αSMc|

αM→αb
P=
bM→bb

cM→Mc

La gramática G genera el lenguaje dependiente del contexto anbncn con n>0.

Un ejemplo de derivación sería:

S αSM c ααM cMc ααbcMc ααbM cc ααbbcc

Teorema Toda gramática GDC G pueden ser convertida en otra gramática equivalente G 0donde todas las reglas de G0
son la forma αAβ→αvβ o S→λ con AϵVN, v ϵV+ y α, β ϵ V*.

Es decir, reglas en donde A se sustituye por v en el contexto (α, β).

Este tipo de gramáticas admiten reglas compresoras, que son las que cumplen con el tamaño de su lado derecho sea
menor que el de su lado izquierdo.

Máquinas de Turing.

Una máquina de Turing (MT) es una tupla M = (Γ; Σ; 4; Q; q0; F; ±) donde:

• Γ es el alfabeto de la cinta infinita por ambos lados.

• Σ Ϲ Γ es el alfabeto de la entrada
• ∆ϵ Γ (∆ɇ Σ) es el símbolo espacio en blanco.
• Q conjunto finito de estados.
• q0 ϵ Q es el estado inicial y F Ϲ Q conjunto de estados finales (o de aceptación).
• δ : Q £ Γ → Q x Γ x ¨{I,D}; es la función de transición que puede ser parcial.

Una función de cadena es Turing computable si existe una MT M = (Γ; Σ; ∆; Q; q 0; F; δ)

Los lenguajes aceptados por una máquina de Turing se denominan “Lenguajes recursivamente enumerables”.

Denotamos mediante LRE a la clase de los lenguajes recursivamente enumerables.

Equivalencia: Decimos que dos MT M1 y M2 son equivalentes cuando L(M1) = L(M2).

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 finitos.

Cinta multipista: Los símbolos son tuplas sobre dominios finitos.

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.