Mealy Machine je v teórii výpočtov definovaný ako stroj, ktorého výstupné hodnoty sú určené jeho aktuálnym stavom a aktuálnymi vstupmi. V tomto stroji je možný najviac jeden prechod.
Má 6 n-tic: (Q, q0, ∑, ▲, δ, λ’)
- Q je konečná množina stavov
- q0 je počiatočný stav
- ∑ je vstupná abeceda
- ▲ je výstupná abeceda
- δ je prechodová funkcia, ktorá mapuje Q×∑ → Q
- „λ“ je výstupná funkcia, ktorá mapuje Q×∑→ ▲
Predpoklad - Mealyho a Mooreove stroje
Schéma je nasledovná:
Mooreov stroj:
Moorov stroj je v teórii výpočtov definovaný ako stroj, ktorého výstupné hodnoty sú určené iba jeho aktuálnym stavom. Má tiež 6 n-tic
(Q, q0, ∑, ▲, δ, λ)>
- Q je konečná množina stavov
- q0 je počiatočný stav
- ∑ je vstupná abeceda
- ▲ je výstupná abeceda
- δ je prechodová funkcia, ktorá mapuje Q×∑ → Q
- λ je výstupná funkcia, ktorá mapuje Q → ▲
Diagram:
Rozdiel medzi strojom Mealy a strojom Moore je nasledovný:
| Mooreov stroj | Mealy Machine |
| Výstup závisí len od aktuálneho stavu. | Výstup závisí od aktuálneho stavu, ako aj od aktuálneho vstupu. |
| Mooreov stroj tiež umiestňuje svoj výstup na prechod. | Mealy Machine umiestni svoj výstup na prechod. |
| Vyžaduje sa viac štátov. | Vyžaduje sa menší počet štátov. |
| Na implementáciu obvodu sú menšie požiadavky na hardvér. | Existuje viac hardvérových požiadaviek na implementáciu obvodu. |
| Reagujú pomalšie na vstupy (o jeden hodinový cyklus neskôr). | Rýchlejšie reagujú na vstupy. |
| Synchrónny výstup a generovanie stavu. | Generovanie asynchrónneho výstupu. |
| Výstup je umiestnený na stavoch. | Výstup je umiestnený na prechodoch. |
| Jednoduché navrhovanie. | Je ťažké navrhnúť. |
| Ak sa zmení vstup, výstup sa nezmení | Ak sa zmení vstup, zmení sa aj výstup. |
| Má viac alebo rovnaký stav ako stroj Mealy. | Má menej alebo rovnaký stav ako stroj Moore. |