Una máquina de Mealy es una 6-tupla, M=(S, S, Σ, Λ, T, G):