Automates
Exercices corrigés : Minimiser
Le raffinement tour par tour, et le mot qui prouve que deux automates diffèrent.
2 exercices, corrigés dans la page, sans compte à créer.
Cette notion fait partie du cours d'Automates, dont les autres notions sont dans les exercices corrigés d'Automates. Tous les parcours sont dans la bibliothèque.