ALFONSECA CUBERO, ENR. / ALFONSECA MORENO / ALFONSECA,ENRIQUE / ALFONSECA,MANUEL / MORIYÓN,ROBERTO
La informática teórica o teoría de autómatas y lenguajes formales sesustenta en una base matemática derivada del Algebra. Este libro esaccesible a cualquier lector con una formación matemáticauniversitaria elemental, e incluye el material matemático adicionalnecesario para que sea autocontenido.La informática teórica trabajacon los tres paradigmas de lenguajes, máquinas y gramáticas, losclasifica según su complejidad y los relaciona estudiando lasequivalencias existentes entre ellos. Este libro realiza de formaexplícita un recorrido independiente por cada uno de los paradigmas,que facilita la comprensión de sus peculiaridades, para estudiarposteriormente sus relaciones. El orden de presentación de loscapítulos intenta seguir el orden cronológico de su aparición. Ademásde estos paradigmas clásicos, la investigación en Informática Teóricaha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citadosactualmente, 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 algoritmosdescritos en el mismo, que facilitan la incorporación del alumno aesta disciplina.
