Dossier
(2023/2024) Automates finis
Conditions d'achèvement
On introduit les automates fini qui permettant de représenter d'une manière fini certaines ensemble (les ensembles rationnels) du monoïde libre Σ^{∗}. Un automate est formé par l'ensemble des différents états possibles du système, reliés entre eux par des conditions: le systéme passe d'un état dans un autre quand une condition donnée est vérifiée.