Ambos libros abordan la teoría de autómatas y el procesamiento de lenguajes formales, ofreciendo un enfoque formal y riguroso en el estudio de la computación.
La Estructura de las Máquinas: Fundamentos de la Ciencias de la Computación
por Zohar Manna · 1974
Ver sugerenciasSinopsis
Este texto seminal introduce los fundamentos de la computación, incluyendo autómatas finitos, máquinas de Turing, y la teoría de la semántica de los lenguajes de programación, utilizando un enfoque formal y lógico.
Sé el primero en valorar este libro.
Más de Zohar Manna
Ver autor →Otras obras del mismo autor en el catálogo
The Mathematical Theory of Automata
1971
Program Verification
1974
Elements of the Theory of Computation
1980
Algorithmic Mechanics
1986
Computational Complexity
1990
Introduction to Quantum Computation
1995
Theory of Automata
1996
Finite State Machines
1997
Introduction to Automata Theory, Languages, and Computation
1999
Introduction to Formal Languages and Automata
2000
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que Manna, Shoenfield se centra en los fundamentos de la lógica matemática, profundizando en conceptos críticos que determinan los límites de la computación.