Manual de modelos matemáticos para lenguajes y computación

Título original:

Handbook of Mathematical Models for Languages and Computation

Contenido del libro:

La teoría de la computación se utiliza para abordar los retos que se plantean en muchas áreas de la informática, como la inteligencia artificial, los procesadores de lenguaje, la escritura de compiladores, los sistemas de información y codificación, el diseño de lenguajes de programación, la arquitectura de ordenadores y otras. Para comprender los temas relativos a esta teoría, los lectores deben familiarizarse con sus modelos computacionales y de lenguaje, basados en conceptos de la matemática discreta que incluyen conjuntos, relaciones, funciones, grafos y lógica.

Este manual introduce con rigor los conceptos importantes de este tipo y los utiliza para cubrir los modelos matemáticos más importantes para los lenguajes y la computación, como diversos autómatas y gramáticas clásicos y modernos. Explica su uso en temas tan importantes de la teoría de la computación como la computabilidad, la decidibilidad y la complejidad computacional.

Los autores prestan especial atención a la implementación de todos estos conceptos y modelos matemáticos y explican claramente cómo codificarlos en la práctica computacional. Todos los programas informáticos están escritos en C#.