Discussion :

[Fatouchka]

Bonjour à tous,

Je dois concevoir un automate qui lit la séquence 1 1 0 0 1

J'ai fait cet automate :


Puis la table de vérité suivante :



J'ai déduit les équations suivantes :



J'ai le circuit suivant :



Dites moi si c'est correct.
Mon circuit fonctionne mais j'ai une erreur dans mes equations je pense.

Merci d'avance pour votre aide,

[f-leb]

Bonjour,

Mes souvenirs sur les détections de séquence sont anciens, mais ce qui est sûr, c'est que le graphe que tu montres ne correspond ni à celui d'une machine de Mealy ni à celui d'une machine de Moore. Il manque la moitié des transitions (que se passe-t-il si par exemple à l'état 0, l'entrée est un 0 au lieu d'un 1 ?), et l'état de la sortie n'est pas indiqué sur le graphe.

Le reste se déduisant du graphe, il faut d'abord un graphe correct

[Fatouchka]

Bonjour,

Mes souvenirs sur les détections de séquence sont anciens, mais ce qui est sûr, c'est que le graphe que tu montres ne correspond ni à celui d'une machine de Mealy ni à celui d'une machine de Moore. Il manque la moitié des transitions (que se passe-t-il si par exemple à l'état 0, l'entrée est un 0 au lieu d'un 1 ?), et l'état de la sortie n'est pas indiqué sur le graphe.

Le reste se déduisant du graphe, il faut d'abord un graphe correct

Hello,

Je te remercie pour ta réponse. C'est un automate simple le graphe est juste.
C'est la table de vérité, les équations et le circuit qui me posent problème.

[f-leb]

C'est un automate simple le graphe est juste.

Le graphe est au moins incomplet...

Par exemple, si je commence à saisir la séquence "1 1 0", je suis à l'état 3. Mais quel est l'état suivant si je saisis maintenant un "1" ? Ton graphe ne l'indique pas (et donc je ne sais pas dans quel état j'ère ?). Une machine doit pouvoir définir l'état de ses sorties en fonction de toutes les entrées possibles.

Voici un exemple de graphe (machine de Mealy) pour une séquence plus courte "1 0 1" :


Sur les arcs, état entrée/état sortie. La sortie vaut naturellement 1 quand la séquence exacte est découverte (arc S2 vers S1).
Le graphe n'est donc pas si simple que cela (ce n'est pas une simple boucle en plus), mais je ne suis pas capable de définir des équations si le graphe n'est pas complet...

[Guesset]

Bonjour,

Je ne reviendrai pas sur le fait que le diagramme d'état n'est pas complet ne serait-ce que parce que la sortie n'est pas définie (à quoi sert il alors ?).

La fin n'est pas non plus spécifiée : est-ce qu'un motif identifié réinitialise le processus ? Autrement dit est-ce que 1 1 0 0 1 1 0 0 1 produit deux sorties valides ou une seule ?

La reconnaissance d'un seul motif à partir d'une entrée série avec horloge incite plutôt à utiliser un circuit à décalage suivi d'un comparateur. C'est certes moins pédagogique mais consomme moins de surface PCB. Un malheureux MCU comme un AtTiny serait encore plus efficace (et potentiellement moins cher) sur ce plan.

En résumé, les éléments du problème (ou les exigences) ne sont pas complètement spécifiées. C'est le premier problème.

Ensuite les états et transitions ne sont pas exhaustifs. Par ailleurs, il faut vérifier, quand le nombre d'états n'est pas une puissance de 2 que les état fantômes sont correctement gérés (les états X) ne serait-ce que pour gérer un démarrage dans un de ces états.

Bon courage.