Machine de Moore
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En théorie de la calculabilité, une machine de Moore est un automate fini pour lequel les valeurs des variables de sortie ne peuvent dépendre que des variables d'état. On appelle ces systèmes strictement synchrones car le changement des sorties ne se fait qu'avec le changement d'état. Les machines de Moore s'opposent aux machines de Mealy pour lesquelles les sorties dépendent à la fois de l'état courant et des variables d'entrée.
[modifier] Définition formelle
Une machine de Moore est un 6-uplet, (S, S0, Σ, Λ, T, G), constitué de :
- un nombre fini d'état S
- un état initial S0, où S0 S
- un ensemble fini Σ, appellé alphabet d'entrée
- un ensemble fini Λ, appellé alphabet de sortie
- une fonction de transition T : S × Σ → S
- une fonction de sortie G : S → Λ