Herramienta abstracta que se utiliza para reconocer un determinado lenguaje regular. Es un modelo matemático de un sistema que recibe una cadena constituida por caracteres de cierto alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce. Dos autómatas que reconocen el mismo lenguaje se denominan equivalentes. Un autómata está formado por un alfabeto, un conjunto de estados, una función de transición, un estado inicial y uno o varios estados finales. La función de transición parte de un estado y una entrada, y devuelve otro estado y una salida. El proceso se inicia desde el estado inicial con una cadena de entrada.
