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