Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Chomsky
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
-2-
Teora de Autmatas y Lenguajes Formales Curso 2001/2002
Marta Gonzalo Garca 22/10/01
2. <SIGNO> + | - |
3. <SECUENCIA> <DIGITO> | <DIGITO><SECUENCIA>
4. <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
Ejemplos:
o Tipo de la regla de produccin <A><B> y
Tipo 3: No
Tipo 2: No
Tipo 1: No
Tipo 3: No
-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/tcl-
course/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-