Automate Fini

Modèle mathématique de calcul composé d'un ensemble fini d'états, d'un alphabet d'entrée, de relations de transition, d'un état initial et d'un ou plusieurs états acceptants ; utilisé pour reconnaître les langages réguliers. Variantes : automate fini déterministe (DFA) et non déterministe (NFA).