Este texto también aborda los autómatas, computabilidad y complejidad, manteniendo un enfoque riguroso similar al de Sipser en su obra de referencia.

por Michael Sipser · 1997
Ver sugerenciasSinopsis
Un libro de texto que aborda la computabilidad, complejidad y el diseño de autómatas y lenguajes formales. Utiliza una presentación rigurosa y clara para construir la teoría de la computación desde sus fundamentos.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1995

1996

1997

1997

1997

1997

1997

1997

1997

1997

1997

1997

1998

1999

2001
Libros relacionados según distintos criterios de búsqueda
Este texto también aborda los autómatas, computabilidad y complejidad, manteniendo un enfoque riguroso similar al de Sipser en su obra de referencia.
La obra comparte la estructura clara y accesible de Sipser, facilitando la comprensión de conceptos fundamentales en teoría de la computación.
Al igual que el libro de referencia, se centra en lenguajes y autómatas, explorando los límites teóricos de la computación de manera rigurosa.
Ambos textos presentan un enfoque didáctico en computabilidad y complejidad, orientados a construir una comprensión sólida de estos conceptos fundamentales.
Este libro clásico sigue el mismo camino de Sipser, abarcando modelos computacionales y la decidibilidad de problemas dentro del marco teórico de la computación.
Al igual que el original, ofrece una introducción integral a autómatas y complejidad, resaltando los límites de la computación de manera exhaustiva.