El Ao de Turing

La informtica a la que recurrimos para tuitear o hacernos una resonancia magntica es en esencia Alan
Turing, uno de los cientficos ms importantes de la Historia. Fue un hombre generoso que afront con
genialidad lgica horrores como el Nazismo pero al que el mundo devolvi slo injusticia. Acercamos su
obra a los lectores para que comprueben lo importante que fueron sus aportaciones. Cre la Informtica
tal y como la conocemos.
Noam Chomsky, la lingstica, la
informtica y el activismo
Por: Ao Turing | 15 de noviembre de 2012
FERNANDO CUARTERO
Noam Chomsky, nacido en 1928 en Filadelfia, es profesor de lingstica en el MIT,
Estados Unidos, y una de las figuras ms destacadas de la lingstica del siglo XX, con
grandes aportaciones en el campo de la informtica. Estudi en Pensilvania, donde se
doctor en 1955 con una tesis sobre el anlisis transformacional, tras lo que pas a
integrarse en el equipo docente del MIT.
Entre su contribucin cientfica podemos destacar una aportacin fundamental a la
lingstica moderna, consistente en la formulacin terica y el desarrollo del concepto
de gramtica transformacional y generativa. Esta contribucin perfeccion los trabajos
de su maestro, Zellig Harris, creando tcnicas para el anlisis cientfico del significado,
dando origen a una verdadera revolucin en el campo de la lingstica, incorporando el
concepto de transformacin a la lingstica, apartndose del estructuralismo y del
conductismo imperante hasta entonces.
Tambin se aparta de los mtodos descriptivos tradicionales para conseguir que la lingistica
siga rigurosamente el mtodo cientfico, con teoras y predicciones falsables, mediante la
bsqueda de los principios explicativos de su evolucin; y que pase a ser una ciencia con
objetivos propios, y no meramente una tcnica al servicio de otras disciplinas, y para ello parte
de las similitudes entre lenguas, ms que de las diferencias, centrndose inicialmente en unas
pocas lenguas bien conocidas para explicar su funcionamiento.
Como resultado de todo ello, sostiene la existencia de una gramtica universal, integrada en el
patrimonio gentico de los seres humanos, que ya desde su nacimiento disponen de un patrn
al que se adaptan las diferentes lenguas existentes, lo que queda evidenciado por el uso
corriente del lenguaje y la habilidad con la que los nios aprenden una lengua an poseyendo
una escasa experiencia externa.
En su tesis doctoral desarroll sus ideas en lingstica, que complet posteriormente en su libro
"Estructuras sintcticas", su trabajo ms conocido. Sus planteamientos lingsticos han
revolucionado el estudio del lenguaje, que se han visto plasmado en la teora de lagramtica
transformacional y generativa, donde sostiene que el anlisis estructural se extiende ms
all de la oracin, creando frmulas, que denomina transformaciones, para abarcar todas las
relaciones sus diferentes tipos.
En cuanto a la relacin de Chomsky con la informtica proviene de sus importantes
aportaciones a la teora de autmatas y al estudio de los lenguajes formales. Dichas
aportaciones han resultado elementos indispensables para la construccin de compiladores y
traductores que puedan servir de intrpretes vlidos entre las rdenes que dan los seres
humanos y su correcta recepcin y aplicacin por mquinas automticas. Puede decirse que el
papel desempeado por Chomsky ha resultado crucial en este importante campo, pues fue
imprescindible para dar el siguiente paso tras los primeros computadores, el ENIAC o el propio
ACE de Alan Turing, programados directamente en cdigo binario, de forma que a mediados
de 1954 su obra ya influy en la especificacin del borrador para el lenguaje Fortran, y en la
conocida notacin Backus-Naur.
La jerarqua de Chomsky, que estableci en 1956 en su obra "Three models for the
description of language" se convirti en un concepto central en informtica. As, loslenguajes
formales (que no admiten excepciones a las reglas) se dividen en cuatro
niveles (tres en el estudio original), que
son:
1. Lenguajes regulares.
2. Lenguajes libres del contexto.
3. Lenguajes sensibles al contexto.
4. Lenguajes recursivamente enumerables.
Esta descripcin encaja con los dispositivos automticos de cmputo entonces existentes. As,
los lenguajes regulares con el autmata finito, los libres del contexto con el autmata dotado de
una pila de memoria, mientras que el concepto de lenguaje recursivamente enumerable
coincide exactamente con los lenguajes reconocidos por una mquina de Turing.
Posteriormente, los lenguajes sensibles al contexto se identificaron con una mquina de Turing
con memoria acotada en funcin del tamao de la palabra a reconocer. El propio Chomsky
realiz la demostracin de la equivalencia entre los lenguajes definidos por su gramtica
general con los lenguajes que pueden ser reconocidos por una mquina de Turing abriendo un
nuevo horizonte de estudio no imaginado originalmente por Turing.

Segn Chomsky, una gramtica formal es una estructura matemtica, consistente en un
conjunto de reglas que definen la forma de construir todas y cada una de las cadenas de
caracteres que componen un determinado lenguaje, denominadas sentencias, y donde el
conjunto de todas las sentencias constituye el lenguaje. Como no se describe el significado de
dichas sentencias, sino nicamente su forma, de ah procede el calificativo de formal. Adems
de las reglas, la descripcin de una gramtica formal se completa con dos conjuntos de
smbolos, denominados alfabetos, uno, denominado terminal, de los caracteres que conforman
las sentencias propias del lenguaje, y otro, el no terminal, constituido por una serie de smbolos
auxiliares usados durante el proceso de cmputo y que no aparecen en las sentencias vlidas
del lenguaje, sino nicamente durante los pasos intermedios. Para finalizar, tambin se aade
un smbolo no terminal especial, denominado inicial, usualmente denotado por la letra S, que
sirve para dar comienzo a la construccin de cualquier sentencia.

Adems de por sus contribuciones cientficas, tanto referentes a la lingstica como a la
informtica, Chomsky tambin es ampliamente conocido por sus tareas de activismo poltico,
desarrolladas principalmente en los Estados Unidos, pero que afectan a casi todos los rincones
del planeta.

Este activismo se inici con la movilizacin popular contra la guerra del Vietnam, durante la
cual analiz el papel del mundo acadmico en la implicacin de Estados Unidos en la guerra,
destacando el artculo "La responsabilidad de los intelectuales" publicado en 1967. Desde
entonces ha sido muy conocido por sus ideas polticas, situadas en una izquierda poltica de
tipo anarquista. Su mayor preocupacin se centra en su lucha por superar el dficit
democrtico existente, tanto en Estados Unidos como en el resto de los pases democrticos, y
que a su entender se plasma en la enorme distancia existente entre las decisiones polticas y la
opinin pblica, as como en denunciar las ambiciones imperialistas del gobierno
norteamericano en el resto del mundo.

An considerndose a s mismo un anarquista, Chomsky no se opone a la poltica electoral, y
suele proponer, como estrategia, el voto a los demcratas locales si existe riesgo de victoria
republicana, mientras que suele apoyar candidaturas ms a la izquierda como los verdes, si la
victoria o la derrota demcratas son muy probables. En Espaa ha mostrado su fuerte apoyo a
los movimientos de indignados surgidos a partir del 15 de mayo de 2011, conocidos como
movimiento 15-M, coincidiendo con sus demandas de una autntica democracia real.
Siendo judo, se define a s mismo como sionista, pero con un concepto muy peculiar, pues si
bien ha declarado su admiracin y adhesin al kibbutz como una forma de organizacin social
alternativa, es sumamente crtico con la poltica israel, siendo calificado como antisionista, al
sealar que desde hace aos la maquinaria militar israel junto a EE.UU. vienen realizando
sistemticamente acciones violentas al margen de las leyes internacionales, llegando a calificar
a ambos estados como terroristas.

Actualmente se le considera como una de las principales figuras de la poltica radical
norteamericana, y adems, junto a Jos Saramago, Eduardo Galeano o Leonardo Boff, uno de
los referentes de la intelectualidad de la izquierda mundial, si bien en este mbito, y al contrario
de su actividad cientfica, sus aportaciones no han sido tan relevantes, no pudiendo ser
catalogado como un terico de la poltica, sino ms bien como un cientfico bien informado que
mantiene una actitud muy crtica con el poder.

En ese sentido, podramos considerar que su mayor aportacin en este terreno ha sido su
anlisis de los medios de comunicacin, donde con carcter general aparecen enfoques
sesgados, o incluso directamente engaos, y que existen detrs de su supuesta neutralidad,
hasta en los medios ms prestigiosos.

Es por eso que ha acuando la frase: "La propaganda es en la democracia lo que la porra en
un estado totalitario". En su libro "Los Guardianes de la Libertad: Propaganda, Desinformacin
y Consenso en Los Medios de Comunicacin de Masas" explora esta situacin de manera
detallada, siendo un resumen de su contenido las 10 estrategias de la manipulacin meditica,
redactadas por Sylvain Timsit en 2002, y que compendian el pensamiento de Chomsky.

As pues, su denuncia de la poltica exterior de Estados Unidos, las deficiencias democrticas
en su funcionamiento interno, y la manipulacin de las corporaciones de los medios de
comunicacin han hecho a este intelectual poner en cuestin los pilares donde descansa el
fuerte nacionalismo norteamericano, lo que le ha llevado, a pesar de su gran prestigio
internacional, tanto por su actividad cientfica como por sus ideas polticas, a ser un
desconocido en su propio pas, ignorado por los grandes medios de carcter general.
Documentos, entrevistas y vdeos sobre Noam Chomsky se pueden encontrar aqu.
Fernando Cuartero es catedrtico de la Universidad de Castilla-La Mancha.