LENGUAJES FORMALES Y AUTOMATAS

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 usuarios desconocen que, de hecho, están estableciendo un diálogo. 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 gramática, que articula la teoría formal de lenguajes, una rama del conocimiento que une y desune a matemáticos, lógicos, lingüistas y científicos computacionales. En este contexto, los misterios del lenguaje natural motivan complejas arquitecturas que reproducen lo que aquel tiene de inexplicable.