Mealy Machine definieras som en maskin i beräkningsteorin vars utvärden bestäms av både dess nuvarande tillstånd och nuvarande ingångar. I denna maskin är högst en övergång möjlig.
Den har 6 tuplar: (Q, q0, ∑, ▲, δ, λ’)
- Q är en ändlig uppsättning tillstånd
- q0 är initialtillståndet
- ∑ är inmatningsalfabetet
- ▲ är det utgående alfabetet
- δ är övergångsfunktionen som mappar Q×∑ → Q
- 'λ' är utgångsfunktionen som mappar Q×∑→ ▲
Förutsättning – Mealy och Moore Machines
listnod
Diagrammet är som följer:

Moore Machine:
Moores maskin definieras som en maskin i beräkningsteorin vars utdata endast bestäms av dess nuvarande tillstånd. Den har också 6 tuplar
(Q, q0, ∑, ▲, δ, λ)>
- Q är en ändlig uppsättning tillstånd
- q0 är initialtillståndet
- ∑ är inmatningsalfabetet
- ▲ är det utgående alfabetet
- δ är övergångsfunktionen som mappar Q×∑ → Q
- λ är utgångsfunktionen som mappar Q → ▲
Diagram:

Skillnaden mellan Mealy-maskinen och Moore-maskinen är följande:
| Moore maskin båsalgoritm | Mealy Machine |
| Output beror endast på det nuvarande tillståndet. | Utdata beror på det aktuella tillståndet såväl som på aktuell ingång. |
| Moore-maskinen placerar också sin produktion på övergången. | Mealy Machine placerar sin produktion på övergången. |
| Fler stater krävs. | Mindre antal stater krävs. |
| Det finns mindre hårdvarukrav för kretsimplementering. | Det finns mer hårdvarukrav för kretsimplementering. |
| De reagerar långsammare på ingångar (en klockcykel senare). | De reagerar snabbare på input. |
| Synkron utgång och tillståndsgenerering. | Asynkron utgångsgenerering. |
| Utdata placeras på tillstånd. | Utgång läggs på övergångar. |
| Lätt att designa. | Det är svårt att designa. |
| Om ingången ändras, ändras inte utsignalen | Om ingången ändras, ändras också utgången. |
| Har fler eller samma tillstånd som Mealy-maskinen. | Har färre eller samma tillstånd som Moore-maskinen. |