Una màquina de Mealy és una estructura , on
* és un conjunt finit i no buit els elements del qual s'anomenen estats
* és un alfabet, anomenat alfabet d'entrada
* és un alfabet, anomenat alfabet de sortida
* és una funció anomenada funció de transició
* és una funció anomenada funció de sortida
* s'anomena estat inicial
Una màquina de Mealy és una estructura , on
* és un conjunt finit i no buit els elements del qual s'anomenen estats
* és un alfabet, anomenat alfabet d'entrada
* és un alfabet, anomenat alfabet de sortida
* és una funció anomenada funció de transició
* és una funció anomenada funció de sortida
* s'anomena estat inicial