Una introducción a la materia de las máquinas de estado o autómatas ylos diferentes tipos de lenguajes formales que reconocen para elprimer grado de ingeniería informática de la UNED. Por tanto estelibro está especialmente diseñado para la enseñanza a distancia. Encada capítulo se incluyen recomendaciones para el estudio y una seriede ejercicios para afianzar el conocimiento que incluye las soluciones al final del libro. Para poder dar una visión completa del temarioadaptándolo a un alumno de primero de grado, se han evitado, lasdemostraciones formales.