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