Modèles de machines séquentielles

On appelle les modèles abstraits de systèmes séquentiels des automates finis ou des machines à état fini (en anglais, Finite State Machines (FSM)). On distingue deux modèles de circuits séquentiels, selon la façon dont les sorties sont obtenues.

Dans le modèle de Mealy, les sorties dépendent à la fois des entrées et des variables d’état présent.

Machine de Mealy

Dans wale modèle de Moore, les sorties ne dépendent que des variables d’état.

Machine de Moore

---