Un automate fini (on dit parfois machine à états finis), en
anglais finite state automaton ou finite state machine (FSA, FSM), est une
machine abstraite utilisée en théorie de la
calculabilité et dans l'étude des
langages formels. C'est un outil fondamental en Informatique, où il intervient notamment en compilation des langages informatiques (procédé permettant de passer d'un langage de haut niveau en langage machine binaire).
Pour la suite, voir Wikipédia.org…
(Finite Automata). Etre mathématique composé d'un nombre fini d'éléments, et notamment de mémoires, et pouvant se trouver dans un nombre fini d'états.