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