Quelle est la différence entre un automate de Moore et un automate de Mealy ?

Chez Moore, la sortie ne dépend que de l’état courant : la couleur est liée au nœud (l’état « vert » donne toujours le vert). Chez Mealy, la sortie peut dépendre de l’état et de l’entrée courante. Cela change le graphe d’états et l’instant où la sortie bascule.

Pourquoi dit-on automate « fini » ?

Le nombre d’états distincts est fini et dénombrable — ici exactement trois : vert, orange et rouge. Il n’y a pas d’état intermédiaire ou « indéfini » : le système est toujours dans l’un des nœuds donnés. Le comportement est donc prévisible et commode à analyser.

Comment fonctionne le top en mode automatique ?

Un générateur fournit des impulsions régulières. À chaque top, on applique les règles de transition : si l’état courant doit partir sur l’impulsion, l’automate avance. La durée d’une phase est le nombre de tops que le système doit passer dans le nœud avant que la transition ne se déclenche.

Le feu tricolore est-il un exemple typique d’automate fini ?

Oui. Un feu simple à cycle fixe est un exemple classique. Les contrôleurs à capteurs (voies de tourne-à-gauche, piétons) sont aussi des automates finis, mais avec plus d’états et d’entrées. Ici, on montre le cycle temporel de base.

Automate fini

Automate de Moore pour un feu tricolore : cycle vert–orange–rouge sur temporisation, ou bascule manuelle ; graphe d’états.

À propos du modèle

L’automate fini est un modèle discret à nombre fini d’états, avec une fonction de transition et une fonction de sortie ; on l’emploie en logique séquentielle et en commande. Ici, un automate de Moore pour le cycle standard d’un feu tricolore : vert → orange → rouge. Dans un automate de Moore, la sortie (la couleur) ne dépend que de l’état courant, contrairement à un automate de Mealy, où la sortie peut aussi dépendre de l’entrée. Le comportement est donné par la fonction de transition δ(état courant, entrée) = état suivant et la fonction de sortie λ(état courant) = sortie. L’entrée est un top périodique (mode automatique) ou une commande de pas manuel. Le graphe d’états montre les nœuds-états et les arcs orientés des transitions. Pas de capteurs, ni de retard des lampes, ni de temps imparfait : bascule instantanée, cycle déterministe.

Public : Licence : logique numérique, circuits séquentiels, théorie des automates.

Notions clés

automate fini
automate de Moore
transition d’état
logique séquentielle
diagramme d’états
signal d’horloge
états discrets

Comment ça marche

Automate de Moore : chaque état fixe la couleur des lampes ; à l’expiration du temporisateur de phase ou sur une commande de pas, il y a transition. À droite — le graphe d’états vert → orange → rouge.

Questions fréquentes

Quelle est la différence entre un automate de Moore et un automate de Mealy ?: Chez Moore, la sortie ne dépend que de l’état courant : la couleur est liée au nœud (l’état « vert » donne toujours le vert). Chez Mealy, la sortie peut dépendre de l’état et de l’entrée courante. Cela change le graphe d’états et l’instant où la sortie bascule.
Pourquoi dit-on automate « fini » ?: Le nombre d’états distincts est fini et dénombrable — ici exactement trois : vert, orange et rouge. Il n’y a pas d’état intermédiaire ou « indéfini » : le système est toujours dans l’un des nœuds donnés. Le comportement est donc prévisible et commode à analyser.
Comment fonctionne le top en mode automatique ?: Un générateur fournit des impulsions régulières. À chaque top, on applique les règles de transition : si l’état courant doit partir sur l’impulsion, l’automate avance. La durée d’une phase est le nombre de tops que le système doit passer dans le nœud avant que la transition ne se déclenche.
Le feu tricolore est-il un exemple typique d’automate fini ?: Oui. Un feu simple à cycle fixe est un exemple classique. Les contrôleurs à capteurs (voies de tourne-à-gauche, piétons) sont aussi des automates finis, mais avec plus d’états et d’entrées. Ici, on montre le cycle temporel de base.

Poursuivez avec des thèmes proches de cette catégorie — ou les 48 de «Ingénierie».

Toute la catégorie →

NouveauUniversité

Chariot-pendule : LQR, MPC et PID

Lancer la simulation

Chariot non linéaire à pendule inversé : linéarisation au point haut, LQR discret (Riccati), MPC LQ à horizon fini avec coût terminal P∞, et PID manuel — une même saturation de force.

NouveauUniversité

Régulateur PID (1D)

Lancer la simulation

Chariot sur un rail : coefficients Kp, Ki, Kd et impulsions aléatoires de vitesse vers la consigne x = 0.

NouveauCollège–lycée

Arbre couvrant de poids minimal (Prim et Kruskal)

Lancer la simulation

Points aléatoires dans le plan, graphe complet à poids euclidiens : Prim pas à pas depuis une racine, ou Kruskal avec ensembles disjoints ; on compare le poids total.

PopulaireCollège–lycée

Portes logiques

Lancer la simulation

ET, OU, NON, NON-ET, OU exclusif. Placez, reliez, lisez le niveau en sortie.

NouveauUniversité

Diagramme de l’œil (modulation numérique)

Lancer la simulation

Œil NRZ / PAM-4 avec mise en forme en cosinus surélevé, interférences intersymboles, bruit blanc additif, gigue d’horloge et estimation de l’ouverture verticale.

NouveauCollège–lycée

Moteur pas à pas

Lancer la simulation

Commutation en pas entier et en demi-pas : le rotor tourne selon la séquence des bobines A–B–A′–B′.

Automate fini

À propos du modèle

Comment ça marche

Questions fréquentes

Simulations voisines

Chariot-pendule : LQR, MPC et PID

Régulateur PID (1D)

Arbre couvrant de poids minimal (Prim et Kruskal)

Portes logiques

Diagramme de l’œil (modulation numérique)

Moteur pas à pas

Automate fini

À propos du modèle

Comment ça marche

Questions fréquentes