Esta edición ofrece un estilo de redacción más sencillo que cubre toda la teoría de autómatas existente. Con un tratamiento sólido en la construcción de pruebas, gran número de figuras y diagramas, y apartados que destacan las ideas más importantes, este libro es la herramienta fundamental para consolidar el conocimiento sobre la teoría de autómatas.