Lenguajes, máquinas y computación clásica

Título original:

Languages, Machines, and Classical Computation

Contenido del libro:

Lenguajes, máquinas y computación clásica es un nuevo libro de texto sobre los temas conjuntos de Lenguajes Formales y Autómatas y Computabilidad y Complejidad. Por nuevo entendemos algo más que su reciente publicación:

⬤ Está (más) claramente estructurado en torno a la jerarquía de Chomsky, que actúa como columna vertebral.

⬤ Tiene un enfoque algorítmico general, con muchos algoritmos centrales detallada y claramente descritos paso a paso.

⬤ Ningún lenguaje de programación o software desempeña papel alguno en él, garantizando así la generalidad (matemática) de los diversos contenidos.

⬤ Se trata, en cierta medida, de una vuelta a los enfoques originales de los libros de texto de finales de los 70 y principios de los 80, que a menudo se consideran -erróneamente- demasiado difíciles para el público universitario.

Y...

⬤ Por último, pero no por ello menos importante, tiene en cuenta el hecho, en gran medida o totalmente ignorado por otros libros de texto sobre los temas antes mencionados, de que hablar de computación hoy en día resulta ser un asunto extremadamente equívoco, ya que muchas otras formas de computación se han desarrollado fuera de lo que podemos llamar el paradigma Turing-von Neumann.

Una amplia selección de ejercicios es un componente crucial de este libro de texto, con ejercicios que van desde tareas sencillas hasta proyectos de investigación y exploraciones de habilidades creativas.

Todos los temas matemáticos necesarios para la comprensión satisfactoria de los contenidos tratados se proporcionan en un capítulo introductorio, lo que hace de éste un libro de texto en gran medida autocontenido.

La presente segunda edición corrige adiciones y erratas, incluye figuras nuevas y mejoradas, un algoritmo adicional y ejercicios rediseñados.