File:Mealymachine jaredwf.png

• Tento stroj vypisuje vstup se zpožděním jednoho kroku.
• Pro vstupy x₀x₁…x_n vygeneruje sekvenci 0y₀y₁…y_n-1.
• S₀, S₁ a S₂ jsou stavy.
• S₀ je počáteční stav.
• Každá hrana přechodu je nadepsána "j / k", kde j je přijatý vstup a k je vygenerovaný výstup.

Formální definice

Mealyho stroj je popsán uspořádanou šesticí ${\displaystyle \langle Z,Q,Y,\Phi ,\Psi ,q\rangle }$, kde:

• Z = {z₁, z₂, ... ,z_n} - konečná vstupní abeceda
• Q = {q₁, q₂, ... ,q_n} - neprázdná konečná množina stavů proměnlivých v čase
• Y = {y₁, y₂, ... ,y_n) - konečná výstupní abeceda
• Φ = q(t+1) = Φ[q(t), z(t)] - přechodová funkce
• Ψ = y(t) = Ψ[q(t), z(t)] - výstupní funkce, záleží na stavu, ve kterém se automat nachází a zároveň i na vstupním signálu
• q - počáteční stav z množiny Q.