Elena Gaudioso Vázquez

Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edición del libro se han introducido los fundamentos para la aplicacion practica de este tipo de maquinas en la construccion de los analizadores necesarios para la compilacion de lenguajes de programacion. Ademas, se han introducido los fundamentos para la minimizacion de automatas con el objetivo de servir de base para rutinas de analisis mas eficaces

Una introducción a la materia de las máquinas de estado o autómatas y los diferentes tipos de lenguajes formales que reconocen para el primer grado de ingeniería informática de la UNED. Por tanto este libro esta especialmente diseñado para la enseñanza a distancia. En cada capitulo se incluyen recomendaciones para el estudio y una serie de ejercicios para afianzar el conocimiento que incluye las soluciones al final del libro. Para poder dar una vision completa del temario adaptandolo a un alumno de primero de grado, se han evitado, las demostraciones formales.

En este libro se considera al profesor y al alumno como dos protagonistas activos en el proceso de enseñanza y se ofrecen las herramientas básicas y avanzadas y los procedimientos necesarios para introducirse en el medio y alcanzar objetivos docentes concretos.

El objetivo fundamental de este texto es conseguir que el lector conozca las bases que fundamentan el desarrollo y uso de los llamados sistemas interactivos enseñanza/aprendizaje (EA). Entendiendo como tales a los sistemas que en el campo de la educacion utilizan fundamentalmente las tecnicas y los recursos provenientes del campo de la Inteligencia Artificial (IA).

La teoría de autómatas es una materia básica en el área de la computación. Esta materia se ocupa del estudio de las máquinas de estados finitos que se utilizan como reconocedores de lenguajes. En cuanto a reconocedores, suponen la base para la construcción de compiladores y para el estudio de la computabilidad, esto es qué es capaz de computar una máquina actual y con qué complejidad. Por lo general, los textos que cubren esta materia, lo hacen desde un enfoque teórico proponiendo, para cada tema, una serie de ejercicios que debe resolver el lector. En esta materia es especialmente importante conocer la relación que existen entre las diferentes formas de representación de las diferentes máquinas teóricas existentes. El objetivo de este libro el de plantear ejercicios que recorran, para un mismo problema, todas las posibilidades de representación y sus equivalencias. No es objetivo de este libro presentar la base teórica que permita resolver estos ejercicios. Este libro sirve por tanto, de complemento para otros textos de contenido teórico. En cada capítulo se enunciarán los conocimientos teóricos necesarios para la resolución de los problemas planteados, así como las referencias que se pueden consultar para alcanzar dichos conocimientos. El libro se completa con ejercicios más cortos de carácter teórico/práctico que permite afianzar los conocimientos de esta materia. Como ayuda para la comprensión de los ejercicios expuestos en este texto se recomienda el uso de JFLAP, un programa gráfico implementando en Java que permite experimentar con lenguajes formales, gramáticas y autómatas (disponible en http://www.ia.uned.es/asignatura/aglf /)