Mealy Machine er definert som en maskin i beregningsteorien hvis utgangsverdier bestemmes av både nåværende tilstand og strøminnganger. I denne maskinen er maksimalt én overgang mulig.
Den har 6 tupler: (Q, q0, ∑, ▲, δ, λ’)
- Q er et begrenset sett av tilstander
- q0 er starttilstanden
- ∑ er inndataalfabetet
- ▲ er utgangsalfabetet
- δ er overgangsfunksjonen som kartlegger Q×∑ → Q
- ‘λ’ er utdatafunksjonen som kartlegger Q×∑→ ▲
Forutsetning – Mealy og Moore Machines
Diagrammet er som følger:
Moore maskin:
Moores maskin er definert som en maskin i beregningsteorien hvis utgangsverdier kun bestemmes av dens nåværende tilstand. Den har også 6 tupler
(Q, q0, ∑, ▲, δ, λ)>
- Q er et begrenset sett av tilstander
- q0 er starttilstanden
- ∑ er inndataalfabetet
- ▲ er utgangsalfabetet
- δ er overgangsfunksjonen som kartlegger Q×∑ → Q
- λ er utgangsfunksjonen som kartlegger Q → ▲
Diagram:
Forskjellen mellom Mealy-maskinen og Moore-maskinen er som følger:
| Moore maskin | Mealy Machine |
| Utgang avhenger bare av den nåværende tilstanden. | Utdata avhenger av nåværende tilstand så vel som nåværende inngang. |
| Moore-maskinen plasserer også sin produksjon på overgangen. | Mealy Machine plasserer sin produksjon på overgangen. |
| Flere stater kreves. | Mindre antall stater er nødvendig. |
| Det er mindre maskinvarekrav for kretsimplementering. | Det er mer maskinvarekrav for kretsimplementering. |
| De reagerer langsommere på innganger (en klokkesyklus senere). | De reagerer raskere på innspill. |
| Synkron utgang og tilstandsgenerering. | Generering av asynkron utgang. |
| Utdata er plassert på stater. | Utgang settes på overganger. |
| Enkel å designe. | Det er vanskelig å designe. |
| Hvis inngangen endres, endres ikke utgangen | Hvis inngangen endres, endres også utgangen. |
| Har flere eller samme tilstander som Mealy-maskinen. | Har færre eller samme tilstander som Moore-maskinen. |