Automate fini

Modèle mathématique de calcul pouvant être dans un un nombre fini d'états mais à un moment donné dans un seul état à la fois. Le passage d'un état à un autre est appelé transition. Un automate fini est défini par l'ensemble de ses états et l'ensemble de ses transistions.

Ils peuvent être utilisés pour modéliser de nombreux problèmes en électronique et informatique.

Très bonne introduction aux automates finis :