TY  - BOOK
AU  - Alfonseca Cubero,Enrique
AU  - Alfonseca Moreno,Manuel
AU  - Moriyon Salomon,Roberto
AU  - Sánchez González,Carmelo
TI  - Teoría de autómatas y lenguajes formales 
SN  - 9788448156374
U1  - 511.3  23
PY  - 2007///
CY  - Madrid 
PB  - Mc Graw-Hill
KW  - Lenguajes formales
KW  - LEMB
KW  - Lenguajes de programación (Computadores)
KW  - Control automático
KW  - Teoría de las máquinas
KW  - Máquinas de turing
KW  - Sistemas de control de autómatas
N1  - Incluye referencias bibliográficas e índice, ejercicios prácticos
N2  - 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 auto-contenido. La informática teórica trabaja con los tres paradigmas de máquinas, lenguajes 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. El libro introduce algunos de los más citados actualmente, lo que facilitará al lector abordar 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
ER  -