Etat_initiaux
5
Etat_finaux
5
Alphabet
a b
Automate
5 a 1
1 a 2
1 b 2
2 a 3
3 a 4
3 b 4
4 a 5
FIN