Chomsky i la màquina de Turing.

Noam Chomsky , nacido en 1928 en Filadelfia, es profesor de lingüística en el MIT, Estados Unidos, y una de las figuras más destacadas de la lingüística del siglo XX, con grandes aportaciones en el campo de la informática. Estudió en Pensilvania, donde se doctoró en 1955 con una tesis sobre el análisis transformacional, tras lo que pasó a integrarse en el equipo docente del MIT.

Noam Chomsky

Entre su contribución científica podemos destacar una aportación fundamental a la lingüística moderna, consistente en la formulación teórica y el desarrollo del concepto de gramática transformacional y generativa. Esta contribución perfeccionó los trabajos de sus maestro, Zellig Harris, creando técnicas para el análisis científico del significado, dando origen a una verdadera revolución en el campo de la lingüística, incorporando el concepto de transformación a la lingüística, apartándose del estructuralismo y del conductismo imperantes hasta entonces.

También se aparta de los métodos descriptivos tradicionales para conseguir que la lingüistica siga rigurosamente el método científico, con teorías y predicciones falsables, mediante la búsqueda de los principios explicativos de su evolución; y que pase a ser una ciencia con objetivos propios, y no meramente una técnica al servicio de otras disciplinas, y para ello parte de las similitudes entre lenguas, más que de las diferencias, centrándose inicialmente en unas pocas lenguas bien conocidas para explicar su funcionamiento.

Como resultado de todo ello, sostiene la existencia de una gramática universal, integrada en el patrimonio genético de los seres humanos, que ya desde su nacimiento disponen de un patrón 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 niños aprenden una lengua aún poseyendo una escasa experiencia externa.

En su tesis doctoral desarrolló sus ideas en lingüística, que completó posteriormente en su libro Estructuras sintácticas., su trabajo más conocido. Sus planteamientos lingüísticos han revolucionado el estudio del lenguaje, que se han visto plasmado en la teoría de la gramática transformacional y generativa, donde sostiene que el análisis estructural se extiende más allá de la oración, creando fórmulas, que denomina transformaciones, para abarcar todas las relaciones sus diferentes tipos.

En cuanto a la relación de Chomsky con la informática proviene de sus importantes aportaciones a la teoría de autómatas y al estudio de los lenguajes formales. Dichas aportaciones han resultado elementos indispensables para la construcción de compiladores y traductores que puedan servir de intérpretes válidos entre las órdenes que dan los seres humanos y su correcta recepción y aplicación por máquinas automáticas. Puede decirse que el papel desempeñado 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 código binario, de forma que a mediados de 1954 su obra ya influyó en la especificación del borrador para el lenguaje Fortran, y en la conocida notación Backus-Naur.

La jerarquía de Chomsky, que estableció en 1956 en su obra "Three models for the description of language" se convirtió en un concepto central en informática. Así, los lenguajes 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 descripción encaja con los dispositivos automáticos de cómputo entonces existentes. Así, los lenguajes regulares con el autómata finito, los libres del contexto con el autómata dotado de una pila de memoria, mientras que el concepto de lenguaje recursivamente enumerable coincide exactamente con los lenguajes reconocidos por una máquina de Turing. Posteriormente, los lenguajes sensibles al contexto se identificaron con una máquina de Turing con memoria acotada en función del tamaño de la palabra a reconocer. El propio Chomsky realizó la demostración de la equivalencia entre los lenguajes definidos por su gramática general con los lenguajes que pueden ser reconocidos por una máquina de Turing abriendo un nuevo horizonte de estudio no imaginado originalmente por Turing.

Según Chomsky, una gramática formal es una estructura matemática, 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. Además de las reglas, la descripción de una gramática formal se completa con dos conjuntos de símbolos, 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 símbolos auxiliares usados durante el proceso de cómputo y que no aparecen en las sentencias válidas del lenguaje, sino únicamente durante los pasos intermedios. Para finalizar, también se añade un símbolo no terminal especial, denominado inicial, usualmente denotado por la letra S, que sirve para dar comienzo a la construcción de cualquier sentencia.

Fernando Cuartero, Noam Chomsky, la lingüística, la informática y el activismo, El Año de Turing, 15/11/2012
.http://blogs.elpais.com/turing/2012/11/noam-chomsky-la-linguistica-la-informatica-y-el-activismo.html

Documentos, entrevistas y vídeos sobre Noam Chomsky se pueden encontrar aquí.