Mealy Machine er defineret som en maskine i beregningsteorien, hvis udgangsværdier bestemmes af både dens nuværende tilstand og aktuelle input. I denne maskine er højst én overgang mulig.
Den har 6 tupler: (Q, q0, ∑, ▲, δ, λ’)
- Q er et endeligt sæt af tilstande
- q0 er starttilstanden
- ∑ er input-alfabetet
- ▲ er output-alfabetet
- δ er overgangsfunktionen, der kortlægger Q×∑ → Q
- 'λ' er outputfunktionen, der kortlægger Q×∑→ ▲
Forudsætning – Mealy og Moore Machines
Diagrammet er som følger:
Moore maskine:
Moores maskine er defineret som en maskine i teorien om beregning, hvis outputværdier kun bestemmes af dens nuværende tilstand. Den har også 6 tupler
(Q, q0, ∑, ▲, δ, λ)>
- Q er et endeligt sæt af tilstande
- q0 er starttilstanden
- ∑ er input-alfabetet
- ▲ er output-alfabetet
- δ er overgangsfunktionen, der kortlægger Q×∑ → Q
- λ er outputfunktionen, der afbilder Q → ▲
Diagram:
Forskellen mellem Mealy-maskinen og Moore-maskinen er som følger:
| Moore maskine | Mealy Machine |
| Output afhænger kun af den nuværende tilstand. | Output afhænger af den nuværende tilstand såvel som det nuværende input. |
| Moore-maskine placerer også sit output på overgangen. | Mealy Machine placerer sit output på overgangen. |
| Flere stater er påkrævet. | Mindre antal stater er påkrævet. |
| Der er mindre hardwarekrav til kredsløbsimplementering. | Der er mere hardwarekrav til kredsløbsimplementering. |
| De reagerer langsommere på input (én urcyklus senere). | De reagerer hurtigere på input. |
| Synkron output og tilstandsgenerering. | Generering af asynkron output. |
| Output placeres på stater. | Output placeres på overgange. |
| Nem at designe. | Det er svært at designe. |
| Hvis input ændres, ændres output ikke | Hvis input ændres, ændres output også. |
| Har flere eller samme tilstande som Mealy-maskinen. | Har færre eller samme tilstande som Moore-maskinen. |