Un système séquentiel synchrone voit son état synchronisé par un signal dit d’ «horloge». Une MSS est aussi appelée machine d’état. Toutefois, assez souvent on préfère la solution de type machine de Moore. En effet, les sorties d'une machine Mealy ne sont pas synchronisées avec l'horloge, pouvant changer en même temps qu'une entrée externe.
Les systèmes séquentiels peuvent être différenciés en fonction de leur mode de fonctionnement qui peut être synchrone ou asynchrone. Dans le mode synchrone, les éléments de mémorisation sont des bascules. Les modifications d'état du système ne peuvent donc intervenir qu'à des instants très précis déterminés par des signaux d'horloge.
Le fonctionnement d'un système séquentiel peut alors être exprimé par des équations récurrentes et un état initial. Le modèle général (modèle de Mealy) de ces équations est le suivant : Qi(n+1) = F {Ei(n) , Qi (n)} Si (n) = G {Ei(n) , Qi (n)} Un cas particulier concerne les systèmes dont la sortie ne dépend que de l'état interne (Modèle de Moore).
état futur = F(état présent,entrées). Un système séquentiel synchrone voit son état synchronisé par un signal dit d’ «horloge». Une MSS est aussi appelée machine d’état. Toutefois, assez souvent on préfère la solution de type machine de Moore.