Este documento resume los conceptos fundamentales de la teoría de autómatas y lenguajes formales, incluyendo autómatas finitos deterministas y no deterministas, expresiones regulares, operaciones con lenguajes y análisis léxico. Los autómatas finitos son máquinas conceptuales que pueden procesar cadenas de símbolos y reconocer lenguajes. Un lenguaje está formado por palabras sobre un alfabeto y puede representarse mediante expresiones regulares o autómatas finitos. El análisis léxico es la primera