Este libro ha sido actualizado para presentar los conceptos teóricos sobre autómatas, lenguajes y computación de una manera más concisa y clara aumentando a su vez las aplicaciones prácticas.
La teoría de autómatas es el estudio de dispositivos de cálculo abstractos, es decir, de las «máquinas». Antes de que existieran las computadoras, en la década de los años treinta, A. Turing estudió una máquina abstracta que tenía todas las capacidades de las computadoras de hoy día, al menos en lo que respecta a lo que podían calcular.
El objetivo de Turing era describir de forma precisa los límites entre lo que una máquina de cálculo podía y no podía hacer; estas conclusiones no sólo se aplican a las máquinas abstractas de Turing, sino a todas las máquinas reales actuales.
Esta tercera edición ofrece al estudiante 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.
Comentarios