Conceptos previos.- Autómatas finitos.- Gramáticas regulares.- Expresiones regulares.- Propiedades de los lenguajes regulares y lenguajes no regulares.- Lenguajes y gramáticas independientes del contexto.- Autómatas a pila.- Propiedades de los lenguajes independientes del contexto.- Introducción a las máquinas de Turing.- Ejercicios de autoevaluación.- Soluciones a los ejercicios.
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 está especialmente diseñado para la enseñanza a distancia. En cada capítulo 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 visión completa del temario adaptándolo a un alumno de primero de grado, se han evitado, las demostraciones formales.