Automates finis

Définition formelle

Définition. Un automate fini déterministe (AFD) est un quintuplet $\mathcal{A} = (Q, \Sigma, \delta, q_0, F)$ où :

- $Q$ est un ensemble fini d'états

- $\Sigma$ est l'alphabet (ensemble fini de symboles)

- $\delta : Q \times \Sigma \to Q$ est la fonction de transition

- $q_0 \in Q$ est l'état initial