Autómata Finito
Natural & Formal Sciences Dictionary
Definición
Modelo matemático de computación consistente en un conjunto finito de estados, un alfabeto de entrada, relaciones de transición, un estado inicial y uno o más estados de aceptación; se usa para reconocer lenguajes regulares. Variantes: autómata finito determinista (DFA) y no determinista (NFA).