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.