Lorsque vous créez un graphique Stateflow, le type par défaut est un modèle de machine d`État hybride qui combine la sémantique des graphiques Mealy et Moore avec la sémantique de graphique Stateflow étendue. Ce type de graphique par défaut est appelé classique. Vous pouvez vérifier les graphiques Mealy et Moore que vous créez pour vous assurer qu`ils sont conformes à leurs définitions formelles et à leurs règles sémantiques. Les messages d`erreur apparaissent au moment de la compilation (pas au moment du Design). Les graphiques Mealy et Moore offrent les avantages suivants par rapport aux cartes Classic Stateflow: prérequis – Mealy et Moore machines Mealy machine – une machine à méaly est définie comme une machine en théorie de calcul dont les valeurs de sortie sont déterminées par son état actuel et les entrées de courant. Dans cette machine, une seule transition est possible. Il a 6 tuples: (Q, q0, ∑, O, δ, λ`) Q est un ensemble fini d`États Q0 est l`état initial ∑ est l`alphabet d`entrée O est l`alphabet de sortie δ est la fonction de transition qui cartes Q × ∑ → Q`λ`est la fonction de sortie qui mappe Q × ∑ → O machines Mealy plus complexes peut avoir plusieurs entrées, ainsi que plusieurs sorties. Étape 3 − Vérifiez les États actuels et leurs sorties correspondantes dans la table d`état de la machine Moore; Si pour un État la sortie QI est m, copiez-la dans les colonnes de sortie de la table d`État Mealy machine où Qi apparaît dans l`état suivant. Le modèle sf_seqrec montre comment utiliser les machines Mealy et Moore pour la reconnaissance des séquences dans le traitement du signal. La machine Mealy est nommée d`après George H. Mealy, qui a présenté le concept dans un papier 1955, «une méthode pour synthétiser des circuits séquentiels».

[1] le tableau suivant met en évidence les points qui différencient une machine de Mealy d`une machine de Moore. Vous pouvez utiliser un graphique Moore pour modéliser une boucle de rétroaction. Dans les graphiques de Moore, les intrants n`ont pas de feedthrough direct. Par conséquent, vous pouvez concevoir une boucle avec la rétroaction du port de sortie au port d`entrée sans introduire une boucle algébrique. Les graphiques Mealy et Classic ont une rétroaction directe et une erreur avec une boucle algébrique. Lorsque l`alphabet d`entrée et de sortie est à la fois Σ, on peut aussi s`associer à une Mealy automata un graphe dirigé par Helix [clarification nécessaire] (S × Σ, (x, i) → (T (x, i), G (x, i)). [2] Ce graphique a comme sommets les couples d`État et les lettres, tous les noeuds sont hors-degré un, et le successeur de (x, i) est l`état suivant des automates et la lettre que la sortie automates quand il est rétablir x et il lit la lettre i.