UNIVERSIDAD CATLICA DEL MAULE - TALCA

FACULTAD DE CIENCIAS DE LA INGENIERA

ESCUELA DE INGENIERA CIVIL INFORMTICA

Teora Autmata
Tipos de clasificacin de gramtica que propuestos por
Chomsky

Nombre: Carlos Arzola

Asignatura: teora autmata
Profesor: Felipe Tirado
Fecha: 04/04/2016

Introduccin

En el campo de la informtica, el concepto de Gramtica Formal adquiri gran

importancia para el desarrollo de lenguajes de programacin, consiguientemente
el desarrollo de autmatas y mquinas de Turing cobr vida en las ltimas
dcadas,
fortaleciendo
el
vnculo
entre Electrnica e
Informtica,
creando mquinas cada vez ms sofisticadas y menos complicadas para el
usuario final.
En el presente informe se pretende fortalecer el conocimiento de la teora de
gramticas y lenguajes formales, partiendo por la jerarqua gramatical de Noam
Chomsky una clasificacin de lenguajes formales de gran importancia en teora
de la computacin.
En 1956, Noam Chomsky clasific las gramticas en cuatro tipos de lenguajes y
esta clasificacin es conocida como la jerarqua de Chomsky, en la cual cada
lenguaje es descrito por el tipo de gramtica generado. Estos lenguajes sirven
como base para la clasificacin de lenguajes de programacin. Los cuatro tipos
son: lenguajes recursivamente enumerables, lenguajes sensibles al contexto,
lenguajes libres de contexto y lenguajes regulares. Dichos lenguajes tambin se
identifican como lenguajes de tipo 0, 1, 2 y 3

La jerarqua de Chomsky

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 A 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 S no aparece
en la parte derecha de ninguna regla. Los lenguajes descritos por estas
gramticas son exactamente todos aquellos lenguajes reconocidos por una
mquina 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 A 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 S 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.

Identificacin de la jerarqua
Sea un lenguaje L definido por al menos una gramtica G que cumple:

Si todas las producciones de G tienen la forma A xB o Ax

donde A y B son smbolos no terminales y x es un terminal; entonces G se
dice que es una gramtica regular y L es un lenguaje regular o de tipo 3.

Si todas las producciones de G tienen la forma Ax donde x es una

combinacin de smbolos terminales y no terminales, entonces G se dice
que es una gramtica libre de contexto y L es un lenguaje libre de
contexto o de tipo 2.

De ser las producciones de G de la forma xAyxzy donde A es un smbolo

no terminal cualquiera, x, y, y z son combinaciones de terminales y no
terminales, tales que x e y pueden ser cadenas vacas; entonces se dice
que G es una gramtica dependiente del contexto y L es un lenguaje
dependiente del contexto o lenguaje de tipo 1.

Si ninguna de las gramticas de L cumple las propiedades anteriores entonces se

dice que es un lenguaje sin restricciones, recursivamente enumerable o de tipo 0.

Cuadro resumen

Gramtica

Lenguaje

Autmata

Tipo 0

Recursivamente
enumerable (LRE)
Dependiente del
contexto (LSC)

Mquina de Turing
(MT)
Autmatas
Linealmente
Acotados
Autmata a Pila

Tipo 1

Tipo 2
Tipo 3

Independiente del
contexto (LLC)
Regular (RL)

Autmata Finito

Normas de
produccin
Sin restricciones
A

A
A aB
A a

Lenguajes Regulares, es la clase ms pequea, e incluye a los lenguajes

ms simples. Un ejemplo es el de los nmeros binarios.

Lenguajes Libres de Contexto, que incluyen a los Lenguajes Regulares.

Por ejemplo la mayora de los lenguajes de programacin.

Lenguajes Recursivamente Enumerables, incluyen a los Libres de

Contexto y a los lenguajes Regulares.

Conclusin

Para entender la jerarqua de Chomsky cabe recordar que una gramtica es tanto
ms restrictiva cuanto mayor es el orden de su tipo. Por lo tanto, las gramticas
ms restrictivas son las regulares, lo que significa que pueden modelar un nmero
menor de comportamientos del lenguaje.
Desde este punto de vista el lenguaje natural, el utilizado por el ser humano, se
podra considerar dentro de una gramtica tipo 0, lo que nos permite generar un
nmero infinito de construcciones lingsticas correctas, incluso de manera
creativa. El problema en el caso del Procesamiento del Lenguaje Natural est
servido, cuanto menos restrictiva es una gramtica, mayor dificultad para su
implementacin automtica.
En el caso de los analizadores lxicos suele ser suficiente la implementacin de
una gramtica tipo 3, y en el caso de los lenguajes de programacin, incluso con
una semntica pronunciada, se pueden implementar con una gramtica tipo 2.
En cualquier caso este tipo de gramticas sigue siendo de difcil implementacin
sobre todo cuando su tamao y crecimiento hacen necesario el manejo de
grandes rboles conceptuales, ya sean por ejemplo traductores automticos, o
reconocimiento de identidades.

Bibliografa
anonimo. (s.f.). coast pink. Recuperado el 04 de 04 de 2016, de
http://coast.pink/jerarquia-chomsky_969899.html
Morales-Luna, G. (27 de 06 de 2000). delta.cs.cinvestav. Recuperado el 04 de 04
de 2016, de http://delta.cs.cinvestav.mx/~gmorales/ta/node11.html
moreno, f. (s.f.). uhu.es. Recuperado el 04 de 04 de 2016, de
http://www.uhu.es/francisco.moreno/talf/docs/tema3.pdf