Mealy – Une machine Mealy est définie comme une machine en théorie du calcul dont les valeurs de sortie sont déterminées à la fois par son état actuel et par ses entrées actuelles. Dans cette machine, au plus une transition est possible. Il a 6 tuples : (Q, q0, ∑, O, δ, λ') Q est un ensemble fini d'états. q0 est l'état initial.