Définition de quelques familles d'automates finis.
Pour mettre en place des automates.
Pour transformer un automate fini non déterministe, en automate fini déterministe.
Ou comment réduire le nombre d'états d'un automate.
Construction d'automates reconnaissant une expression rationnelle.