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 e...