Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01

CLASIFICACIN DE LENGUAJES FORMALES DE CHOMSKY.

Noam Chomsky
Lingista estadounidense nacido en 1928, profesor del Instituto de
Tecnologa de Massachussets (MIT). Aparte de
como lingista y
profesor universitario, es muy conocido por su faceta de intelectual y
crtico activista poltico.
Chomsky ha publicado ms de 70 libros y ms de 1000 artculos
sobre diversos temas como lingstica, filosofa y poltica. Muchos no
dudan en calificarle como uno de los personajes ms destacados del
siglo XX. Como no poda ser de otra manera, Internet muestra la
relevancia de este personaje: existen numerosas pginas relacionadas
con Noam Chomsky.
Desde nio comenz a desarrollar su aficin por la poltica: el
primer artculo que public a los 11 aos en el peridico del colegio
trataba de la Guerra Civil Espaola. Desde muy joven estuvo vinculado
a movimientos polticos de izquierdas cercanos al marxismo, a pesar de
que l proceda de una familia juda de clase media-alta. Actualmente se
define a s mismo como socialista liberal.
Chomsky siempre se ha mostrado especialmente beligerante con
la poltica exterior de Estados Unidos, jugando un importante papel en
las protestas contra la guerra de Vietnam en los 60s. Asimismo ha
denunciado y criticado los crmenes cometidos en Centroamrica por
regmenes dictatoriales apoyados por EEUU, , la actitud norteamericana
en Oriente Medio apoyando la lnea dura de los israeles, la intervencin
militar en la Guerra del Golfo y en general la poltica exterior del mundo
occidental. Lamentablemente y como consecuencia de los trgicos
sucesos del 11 de septiembre, el conflicto est ahora ms que nunca de
actualidad. Al final de este texto, he incluido un par de enlaces a
entrevistas con Chomsky despus de los ataques terroristas.
Su actitud poltica ha hecho de l una figura de inspiracin para
algunos movimientos de izquierdas, y un enemigo para muchos otros.
Especialmente negativa es su relacin con la prensa estadounidense, a
la que siempre ha acusado de enmascarar las acciones del gobierno de
forma subjetiva y de justificar masacres en otros lugares del mundo en
nombre de la justicia y de los valores democrticos.
Centrndonos ya en el tema que ms nos incumbe como
estudiantes de informtica, hay que sealar que su aportacin a la
ciencia de la Computacin ha sido muy significativa. Se le considerada
el fundador de la Gramtica generativa transformacional. Sus anlisis
del lenguaje parten de las oraciones bsicas que se desarrollan y
terminan en una variedad de combinaciones sintcticas al aplicar una
serie de reglas.
Gramticas Formales
Una gramtica formal consta de un conjunto finito de smbolos
terminales (las palabras en un lenguaje formal), un conjunto finito de
-1-

Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01

smbolos no terminales, un conjunto de reglas de produccin con un

lado izquierdo y otro derecho, y un smbolo inicial.
Las reglas se aplican sustituyendo la parte de la izquierda por la
parte de la derecha. Una derivacin es una secuencia de aplicaciones de
reglas.
Cada gramtica define el lenguaje formal de todas las sentencias
que estn formadas exclusivamente por los smbolos terminales a los
que se puede llegar mediante derivacin a partir del smbolo inicial.
Ejemplo 1: Gramtica con terminales {a, b}, no terminales {S,A,B} y las siguientes reglas de
produccin, y smbolo inicial S.
1. <S> <A><B><S>
2. <S> (siendo el smbolo vaco)
3. <B><A> <A><B>
4. <B><S> b
5. <B>b bb
6. <A>b ab
7. <A>a aa
Esta gramtica define todas las palabras de la forma a nbn. Veamos dos ejemplos (siempre
partiendo del smbolo inicial S). Entre parntesis se indica la regla de produccin utilizada.
<S> <A><B><S>
(1)
<A><B><S> <A>b
(4)
<A>b ab
(6)
<S> <A><B><S>
(1)
<A><B><S> <A><B><A><B><S>
(1)
<A><B><A><B><S> <A><A><B><B><S> (3)
<A><A><B><B><S> <A><A><B>b (4)
<A><A><B>b <A><A>bb
(5)
<A><A>bb <A>abb
(6)
<A>abb aabb
(7)
Ejemplo 2 : Gramtica que construye un pequeo subconjunto del lenguaje natural
o Reglas de produccin:
1. <ENUNCIADO> <SUJETO> <PREDICADO>
2. <SUJETO> <FORMA NOMINAL>
3. <FORMA NOMINAL> <ARTICULO> <NOMBRE>
4. <ARTICULO> el
5. <NOMBRE> hombre | libro | baln
6. <PREDICADO> <VERBO> <FORMA NOMINAL >
7. <VERBO> tom | compr
<ENUNCIADO> <SUJETO> <PREDICADO>
<SUJETO> <PREDICADO> <FORMA NOMINAL> <PREDICADO>
<FORMA NOMINAL> <PREDICADO> <ARTICULO> <NOMBRE><PREDICADO>
<ARTICULO> <NOMBRE><PREDICADO> el <NOMBRE><PREDICADO>
el <NOMBRE><PREDICADO> el hombre <PREDICADO>
el hombre <PREDICADO> el hombre <VERBO> <FORMA NOMINAL>
el hombre <VERBO> <FORMA NOMINAL> el hombre tom <FORMA NOMINAL>
el hombre tom <FORMA NOMINAL> el hombre tom <ARTICULO> <NOMBRE>
el hombre tom <ARTICULO> <NOMBRE> el hombre tom el <NOMBRE>
el hombre tom el <NOMBRE> el hombre tom el libro
el hombre tom el libro pertenecera por tanto al lenguaje generado por esta

gramtica, as como otros enunciados : el libro compr el baln, el baln compr

el hombre, etc.
Ejemplo 3 : Reglas de produccin:
1. <ENTERO> <SIGNO><SECUENCIA>

-2-

Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01
2.
3.
4.

<SIGNO> + | - |
<SECUENCIA> <DIGITO> | <DIGITO><SECUENCIA>
<DIGITO> | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Tipos de gramticas
Gramticas Tipo 0 (sin restricciones, recursivas)
Incluyen todas las gramticas formales. Generan todos los
lenguajes que pueden ser reconocidos por una mquina de
Turing.
Gramticas Tipo 1 (dependientes de contexto)
Generan los lenguajes dependientes de contexto. Contienen
reglas de produccin de la forma:
A
A es un no terminal
, y son cadenas de terminales y no terminales.
y pueden ser vacos, pero ha de ser distinto del vaco.
Se denominan gramticas dependientes del contexto, porque,
como se observa, A puede ser sustituido por si est
acompaada de por la izquierda y de por la derecha.
Estos lenguajes son todos los lenguajes que pueden ser
reconocidos por una mquina de Turing no determinista.
(autmatas lineales acotados)
Gramticas Tipo 2 (independientes de contexto, libre de
contexto)
Generan los lenguajes libres de contexto. Estn definidas por
reglas de la forma:
A
A es un no terminal
es una cadena de terminales y no terminales.
Se denominan independientes de contexto porque A puede
sustituirse por independientemente de las cadenas por las que
est acompaada.
Los lenguajes independientes de contexto constituyen la base
terica para la sintaxis de la mayora de los lenguajes de
programacin. Definen la sintaxis de las declaraciones, las
proposiciones, las expresiones, etc.(es decir, la estructura de un
programa)
Estos lenguajes son todos los lenguajes que pueden ser
reconocidos por los autmatas de pila.
Gramticas Tipo 3 (gramticas regulares)
Generan los lenguajes regulares. Las reglas se restringen a un
nico no terminal en la parte izquierda y una parte derecha
compuesta por un nico terminal que puede estar seguido o no
de un nico no terminal. Es decir, normas del tipo:
A a B
Aa
Estos lenguajes son los que pueden ser decididos por un
autmata finito (regular). Los lenguajes regulares se utilizan
para definir estructura lxica de los lenguajes de programacin.

-3-

Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01

Definen la sintaxis de los identificadores, nmero, cadenas y

otros smbolos bsicos del lenguaje.
Importante!! : Todo lenguaje de tipo 3 es de tipo 2, todo
lenguaje de tipo 2 es de tipo 1, y todo lenguaje de tipo 1
es de tipo 0.
Se dice que un lenguaje es de tipo k [k = 0,
k = 1, k = 2, k = 3] cuando existe una
gramtica de tipo k que genera ese lenguaje.
Para clasificar una gramtica hemos de
analizar una a una todas sus reglas de
produccin obteniendo el tipo de cada una de
ellas. La clasificacin de la gramtica ser la correspondiente al tipo de
la produccin de menor clasificacin.
Gramtica

Lenguaje

Si ,
relacin
Reglas de
Produccin
entre || y |
|

Tipo-0

Recursivas

Sin
restricciones

Tipo-1

Dependiente de
contexto

Tipo-2

Independiente de
contexto

Tipo-3

Regular

A> aB
Aa

Solucin
Mquinas de
Turing

|| ||

Autmatas
lineales
acotados

|| = 1

Autmatas de
pila
Autmatas
finitos, regulares

y son cadenas de terminales y no terminales. La cadena no

puede ser la cadena vaca.
Todo tipo de gramtica puede incluir la S -> . Si se da este caso,
entonces no puede tener una S en la parte derecha de ninguna regla.
Ejemplos:
o Tipo de la regla de produccin <A><B> y

Tipo 3: No

Tipo 2: No

Tipo 1: No

Tipo 0: S Regla de produccin de Tipo 0

Tipo de la regla de produccin <Y> ba

Tipo 3: No

Tipo 2: S Regla de produccin de Tipo 2

-4-

Teora de Autmatas y Lenguajes Formales Curso 2001/2002

Marta Gonzalo Garca 22/10/01

Tipo 1: S

Tipo 0: S

Referencias:
Apuntes de Introduccin a la Programacin (Curso 2000/2001).
JESS LVAREZ. Tema 2 : Gramticas.
Introduccin a la Teora de Autmatas. (1998) JOS ANTONIO
MALPICA. Servicio de Publicaciones de la Universidad de Alcal.
Informacin en Internet:
Jerarqua de Gramticas y Lenguajes:
o http://www.wikipedia.com/wiki/Chomsky_hierarchy
o http://www.itz.edu.mx/~lveyna/automatas/unidad2.htm (en
espaol)
o www.csi.ull.es/~sande/talf/talf.html (en espaol)
o http://www.werthmoeller.de/Dokus/aufs/node3.html
o http://www.netaxs.com/people/nerp/automata/chomsky4.ht
ml
o http://www.lib.uchicago.edu/keith/tclcourse/topics/regexp.html
Noam Chomsky (biografa, entrevistas...)
o http://mitpress2.mit.edu/e-books/chomsky
(completa
biografa de Chomsky online )
o http://www2.prestel.co.uk/littleton/jp_noamc.htm (entrevista
de 1992, sobre su vida y los acontecimientos polticos del
siglo)
o http://www.counterpunch.org/chomskyintv.htm
(entrevista
despus de los ataques terroristas a EEUU)
o http://www.jornada.unam.mx/2001/sep01/010915/006n1mu
n.html (entrevista despus de los ataques terroristas a
EEUU , en espaol)

-5-