Automates

[samsam26]

Bonjour à tous, actuellement en DUT informatiques, je dois trouver un automates qui ne reconnait seulement les mots de l'alphabet {0,1} avec p 0 suivis de q 1 (c'est à dire "0000...00111...11" ) tel que p soit congrus à q modulo 3.
Merci pour votre aide!
Bonne soirée.

[fatal_error]

salut,

alors de mémoire, im semble que c'est état transition.
Donc congru mod 3, ca veut dire si le reste de p c'est 1, alors q aussi.
Donc ca parait intéressant de disserner les restes 0, 1 et 2.

Moyennant la syntaxe, jferais comme ca :
I : etat initial.
I pointe vers P qui est un état de "division"
P pointe vers E0 (si on a un zero qui suit) ou vers Q_0 si on a un 1 qui suit.
E0 pointe vers E1 si on a un zero qui suit, ou vers Q_1 si on a un 1 qui suit.
E1 pointe vers... P si on a un zero qui suit ou bien vers Q_2 si on a un 1 qui suit.
Cad : si on trouve 2 zeros consécutifs et que un troisieme arrive, alors on repasse à P et on va "recompter" à partir de 0.
Sinon, pour chacun des autres etats, Q_0, Q_1, ou Q_2, on applique le même principe mais avec des 1...pour Q_0 faudra reconnaitre q congru à 0 mod 3 par exemple

En sortie chais pas ce qu'il y a... mais disons que ca sera la transition sure (lol)