Mealy Machine je v teorii výpočtů definován jako stroj, jehož výstupní hodnoty jsou určeny jak jeho aktuálním stavem, tak aktuálními vstupy. V tomto stroji je možný maximálně jeden přechod.
Má 6 n-tic: (Q, q0, ∑, ▲, δ, λ’)

1. Q je konečná množina stavů
2. q0 je počáteční stav
3. ∑ je vstupní abeceda
4. ▲ je výstupní abeceda
5. δ je přechodová funkce, která mapuje Q×∑ → Q
6. ‚λ‘ je výstupní funkce, která mapuje Q×∑→ ▲

Předpoklad - Stroje Mealy a Moore

hranatý materiál

Diagram je následující:

Mooreův stroj:

Moorův stroj je v teorii výpočtů definován jako stroj, jehož výstupní hodnoty jsou určeny pouze jeho aktuálním stavem. Má také 6 n-tic

(Q, q0, ∑, ▲, δ, λ)>

1. Q je konečná množina stavů
2. q0 je počáteční stav
3. ∑ je vstupní abeceda
4. ▲ je výstupní abeceda
5. δ je přechodová funkce, která mapuje Q×∑ → Q
6. λ je výstupní funkce, která mapuje Q → ▲

Diagram:

Rozdíl mezi strojem Mealy a strojem Moore je následující: