John E. Hopcroft

Texto fundamental que cubre los conceptos de autómatas finitos, lenguajes regulares, autómatas con pila, lenguajes independientes del contexto y máquinas de Turing, sentando las bases teóricas de la computación.

Texto clásico sobre la teoría de autómatas, lenguajes formales y computabilidad, cubriendo autómatas finitos, gramáticas y máquinas de Turing.

Este libro aborda los fundamentos de las máquinas computacionales, el lenguaje formal y la teoría de la computación, proporcionando una base esencial para entender cómo funcionan los algoritmos y el procesamiento de lenguajes.

Un texto fundamental en informática teórica que cubre los modelos computacionales, la teoría de la computabilidad y la clasificación de los problemas computacionales.

Este libro es una introducción a la teoría de autómatas, lenguajes formales y computación, explorando conceptos fundamentales y técnicas esenciales en computación teórica que son relevantes para la informática moderna.

Este texto fundamental explora los fundamentos teóricos de la informática, cubriendo autómatas finitos, lenguajes libres de contexto, máquinas de Turing y la teoría de la computabilidad y complejidad.

Un libro de texto clásico sobre la teoría de la computación, que cubre autómatas finitos, gramáticas libres de contexto, lenguajes recursivamente enumerables y la complejidad computacional.

Un texto fundamental en informática que presenta de manera rigurosa las bases teóricas de la computación, incluyendo autómatas finitos, autómatas con pila, máquinas de Turing y gramáticas formales.

Este texto es una referencia estándar que cubre los fundamentos teóricos de la computación, incluyendo autómatas finitos, lenguajes regulares, gramáticas independientes del contexto y máquinas de Turing, esenciales para la comprensión de los compiladores.

Un texto fundamental que introduce los conceptos esenciales de la teoría de los autómatas finitos, las gramáticas libres de contexto, las máquinas de Turing y la complejidad computacional, sentando las bases para entender los límites de lo computacional.