Maszyna Mealy'ego jest definiowana jako maszyna w teorii obliczeń, której wartości wyjściowe są określone zarówno przez jej stan bieżący, jak i prąd wejściowy. W tej maszynie możliwe jest co najwyżej jedno przejście.
Ma 6 krotek: (Q, q0, ∑, ▲, δ, λ’)
- Q jest skończonym zbiorem stanów
- q0 jest stanem początkowym
- ∑ to alfabet wejściowy
- ▲ to alfabet wyjściowy
- δ jest funkcją przejścia, która odwzorowuje Q×∑ → Q
- „λ” jest funkcją wyjściową odwzorowującą Q×∑ → ▲
Warunek wstępny – Maszyny Mealy’ego i Moore’a
Schemat jest następujący:
Maszyna Moore'a:
Maszyna Moore’a jest zdefiniowana w teorii obliczeń jako maszyna, której wartości wyjściowe są określone jedynie przez jej aktualny stan. Ma również 6 krotek
(Q, q0, ∑, ▲, δ, λ)>
- Q jest skończonym zbiorem stanów
- q0 jest stanem początkowym
- ∑ to alfabet wejściowy
- ▲ to alfabet wyjściowy
- δ jest funkcją przejścia, która odwzorowuje Q×∑ → Q
- λ jest funkcją wyjściową, która odwzorowuje Q → ▲
Diagram:
Różnica między maszyną Mealy'ego a maszyną Moore'a jest następująca:
| Maszyna Moore’a | Maszyna Mealy'ego |
| Dane wyjściowe zależą tylko od stanu bieżącego. | Sygnał wyjściowy zależy od aktualnego stanu i bieżącego wejścia. |
| Maszyna Moore'a również umieszcza swoje wyjście na przejściu. | Mealy Machine umieszcza swoje wyjście na przejściu. |
| Wymaganych jest więcej stanów. | Wymagana jest mniejsza liczba stanów. |
| Implementacja obwodu wymaga mniej sprzętu. | Istnieje więcej wymagań sprzętowych do implementacji obwodów. |
| Reagują wolniej na sygnały wejściowe (jeden cykl zegara później). | Szybciej reagują na sygnały wejściowe. |
| Synchroniczne wyjście i generowanie stanu. | Asynchroniczne generowanie wyjścia. |
| Dane wyjściowe umieszczane są na stanach. | Wyjście umieszczane jest na przejściach. |
| Łatwe do zaprojektowania. | Trudno to zaprojektować. |
| Jeśli dane wejściowe się zmienią, dane wyjściowe się nie zmienią | Jeśli zmienią się dane wejściowe, zmieni się również wyjście. |
| Ma więcej lub takie same stany jak maszyna Mealy'ego. | Ma mniej lub takie same stany jak maszyna Moore'a. |