Un
automate fini (on dit parfois, par une traduction littérale de l'anglais,
machine à états finis, au lieu de
machine avec un nombre fini d'états ou
machine à états finie ou
machine finie à états),
finite-state automaton ou
finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en
mathématiques discrètes et en
informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la
vérification de programmes, la théorie de la
calculabilité, dans l'étude des
langages formels et en
compilation. Ils sont utilisés dans la
recherche des motifs dans un texte.