En este instante, alguien sostiene un dispositivo digital e interact£a con ?l, una escena de fuerte impacto cultural que, sin embargo,remite a una relaci¢n superficial, porque la mayor¡a de usuariosdesconocen que, de hecho, est n estableciendo un di logo. Vivimossoslayando que nuestros aparatos son portadores de un complejolenguaje dise¤ado para acomodarse a nuestras lenguas naturales y eselenguaje se debe, como el nuestro, a una gram tica, que articula lateor¡a formal de lenguajes, una rama del conocimiento que une y desune a matem ticos, l¢gicos, lingistas y cient¡ficos computacionales. Eneste contexto, los misterios del lenguaje natural motivan complejasarquitecturas que reproducen lo que aquel tiene de inexplicable. Elprocesamiento del lenguaje natural pasa por ser uno de los mayoresretos de nuestro tiempo y sus aplicaciones, en la vida de laspersonas, resultan asombrosas. En este esclarecedor ensayo sobre lateor¡a de los lenguajes formales, Alejandro Sobrino somete a revisi¢ncr¡tica los planteamientos te¢ricos de los lenguajes artificiales yaut¢matas, que tienen en Noam Chomsky su referente y animador. Desdelos postulados generativistas, surgen extensiones como las gram ticasde la vida, las gram ticas borrosas y los lenguajes de redes de Petri, que el autor analiza y desgrana para convocar, con un estilodid ctico y entusiasta, el inter?s de especialistas y lectoresocasionales.