La informática teórica o teoría de autómatas y lenguajes formales se sustenta en una base matemática derivada del Álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental, e incluye el material matemático adicional necesario para que sea autocontenido.La informática teórica trabaja con los tres paradigmas de lenguajes, máquinas y gramáticas; los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explícita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. El orden de presentación de los capítulos intenta seguir el orden cronológico de su aparición. Además de estos paradigmas clásicos, la investigación en Informática Teórica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citados actualmente, lo que facilitará al lector investigaciones posteriores. El libro se completa con material práctico disponible en páginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporación del alumno a esta disciplina.
