En este instante, alguien sostiene un dispositivo digital e interactua con el, una escena de fuerte impacto cultural que, sin embargo, remite a una relacion superficial, porque la mayoria de usuarios desconocen que, de hecho, estan estableciendo un dialogo. Vivimos soslayando que nuestros aparatos son portadores de un complejo lenguaje diseñado para acomodarse a nuestras lenguas naturales y ese lenguaje se debe, como el nuestro, a una gramatica, que articula la teoria formal de lenguajes, una rama del conocimiento que une y desune a matematicos, logicos, linguistas y cientificos computacionales. En este contexto, los misterios del lenguaje natural motivan complejas arquitecturas que reproducen lo que aquel tiene de inexplicable. El procesamiento del lenguaje natural pasa por ser uno de los mayores retos de nuestro tiempo y sus aplicaciones, en la vida de las personas, resultan asombrosas. En este esclarecedor ensayo sobre la teoria de los lenguajes formales, Alejandro Sobrino somete a revision critica los planteamientos teoricos de los lenguajes artificiales y automatas, que tienen en Noam Chomsky su referente y animador. Desde los postulados generativistas, surgen extensiones como las gramaticas de la vida, las gramaticas borrosas y los lenguajes de redes de Petri, que el au