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