Automate fini : séquenceur câblé

Bonjour,

Tout d'abord merci à ceux qui prendrons la peine de m'aider, je souhaite concevoir un automate (séquenceur) pour détecter une séquence binaire de 4 bit (1110). La structure que je vais utiliser est présente ci-dessous:


Pour ce faire j'ai déterminé mon nombre d'états à savoir 4 . Il me faut donc 2 bit nécessaire pour coder cet automate ( 2^2) . La difficulté que j'ai est de représenter le diagramme d'états : J'ai un doute sur celui , pourriez vous me dire si il correspond bien à cela:

Pièce jointe 204118

Pièce jointe 204119

je ne sais pas si quand x=0 dans l'etat E3 si je revient à E2 ou si je reste à E3. Ainsi que oour E4 si X=1 on retourne à l'état E3 puisque l'on aurait comme séquence 1111 et nous voulons 1110 en retournant à l'etat E3 on peut attendre un zero à nouveau et là on passera à l'E1 avec Z=1 ( z la sortie de notre séquenceur pour une séquence valide).