Autómatas finitos y teoría de las cadenas

En lugar de centrarse solo en autómatas finitos, aborda la teoría completa de lenguajes formales y computabilidad, desde una perspectiva más amplia y teórica. Es una referencia clásica que expande los horizontes del libro de referencia al conectar autómatas finitos con la jerarquía de Chomsky y las máquinas de Turing, una perspectiva menos obvia.

Aborda los lenguajes formales desde un punto de vista puramente algebraico y matemático, profundizando en aspectos combinatorios y estructurales de las cadenas más allá de la teoría de autómatas. Esta aproximación formal y abstracta es menos común en textos introductorios y ofrece una conexión sólida pero no obvia con la teoría subyacente de las cadenas.

Profundiza en los fundamentos filosóficos y cognitivos del lenguaje que dieron origen a la jerarquía de Chomsky, conectando la teoría formal de las cadenas con preguntas sobre la naturaleza de la mente humana y la adquisición del lenguaje. Este libro trasciende la aplicación informática para explorar las ideas fundacionales que dieron sentido a las gramáticas formales.

Conecta la teoría de autómatas finitos con modelos más amplios de computación y filosofía de la ciencia, explorando preguntas esenciales sobre qué es computable y cómo los modelos abstractos (como los autómatas) representan la capacidad de procesamiento. Sitúa los conceptos técnicos dentro de un marco epistemológico más profundo.

Es un manual académico en español, publicado por la Universidad de Extremadura, centrado en la aplicación práctica de la teoría en el diseño de lenguajes de programación y compiladores. Su origen y enfoque pedagógico en el sistema universitario español lo hacen menos conocido en círculos anglosajones, pero cubre íntegramente y amplía el tema del libro de referencia.

Otro libro de texto en español, más orientado a la didáctica y con un enfoque que abarca desde autómatas finitos hasta máquinas de Turing y computabilidad. Su publicación y distribución en español a través de plataformas académicas latinoamericanas lo hace más accesible en ese ámbito, pero menos citado en la literatura canónica en inglés.

Este libro presenta una estructura pedagógica similar, comenzando con introducción a la teoría de la computación y progresando sistemáticamente a través de gramáticas, autómatas finitos (deterministas y no deterministas), autómatas de pila y máquinas de Turing. Sigue el mismo patrón de construcción de conocimiento, de lo simple a lo complejo, como texto de apoyo para la docencia.