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 Reglas de Produccin Sin restricciones A A A> aB Aa || || || = 1 Si , relacin entre | | y | | Solucin Mquinas de Turing Autmatas lineales acotados Autmatas de pila Autmatas finitos, regulares

Tipo-0 Tipo-1 Tipo-2 Tipo-3

Recursivas Dependiente de contexto Independiente de contexto Regular

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 o 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 Tipo 1: S

-4-

Teora de Autmatas y Lenguajes Formales Curso 2001/2002 Marta Gonzalo Garca 22/10/01 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-