Este documento presenta un libro sobre autómatas y lenguajes formales. Explica que el libro está dirigido a estudiantes de ingeniería y maestría, cubriendo los temas de una manera accesible y con énfasis en la aplicación práctica. También describe la estructura del libro, que comienza con lenguajes regulares y autómatas finitos, luego cubre lenguajes libres de contexto y autómatas de pila, y finalmente máquinas de Turing.