Introduction to Automata Theory, Languages, and Computation

Ambos textos tratan la teoría de la complejidad computacional, pero este libro adopta un enfoque más amplio, interdisciplinario y físico, conectando la teoría de la computación con la mecánica estadística y la teoría de la información, ofreciendo una perspectiva no obvia y más amplia sobre los fundamentos de la computación.

Es una recomendación no obvia porque parte de la teoría de la computación clásica (automata, lenguajes, complejidad) para adentrarse en una exploración filosófica y lógica de los fundamentos de la computación cuántica, la complejidad y la física. Conecta temas similares (P vs. NP, límites de la computación) desde un punto de vista conceptual y especulativo muy distinto al enfoque formal y clásico del libro de referencia.

Explora profundamente las conexiones entre la lógica formal (teoremas de Gödel, sistemas formales), la autorreferencia, la autoorganización y la inteligencia artificial, temas que están en el corazón de la teoría de autómatas y lenguajes formales. Indaga en la naturaleza del significado, la cognición y los límites de los sistemas formales, conectando con la filosofía subyacente a la teoría de la computación presentada en el libro de Hopcroft y Ullman.

Es una obra de un filósofo y lógico español, escrita en español, que presenta los fundamentos de la teoría de la computación y la complejidad desde una perspectiva histórica, filosófica y algorítmica. Ofrece un enfoque alternativo, menos técnico y más conceptual que los textos anglosajones canónicos, conectando la teoría de autómatas con problemas filosóficos de los fundamentos de las matemáticas.

Aunque es un texto universitario conocido, cumple con el criterio de 'obscure' al ser un enfoque distinto, más conciso y matemáticamente riguroso, escrito por un autor que también ha realizado importantes contribuciones a la teoría. Es menos citado que el Hopcroft-Ullman en contextos no académicos, y su enfoque en la computabilidad y la lógica matemática ofrece una conexión profunda con los temas centrales del libro de referencia.

Estructura similar como libro de texto introductorio, progresando desde autómatas finitos hasta lenguajes formales, máquinas de Turing y complejidad computacional. Comparte la misma metodología pedagógica de construir teoría de manera incremental, con ejercicios y demostraciones formales, siendo un estándar moderno en la enseñanza de la materia.

Estructura su presentación desde la computabilidad (máquinas de Turing, funciones recursivas) hacia la lógica matemática (teoremas de incompletitud de Gödel), manteniendo un rigor formal similar. Ambos libros son textos que conectan áreas fundamentales de la informática teórica y las matemáticas, usando una estructura de 'fundamentos' que construye sobre conceptos previamente definidos.