Mealy Machine este definită ca o mașină în teoria calculului ale cărei valori de ieșire sunt determinate atât de starea sa curentă, cât și de intrările curente. În această mașină este posibilă cel mult o singură tranziție.
Are 6 tupluri: (Q, q0, ∑, ▲, δ, λ’)
- Q este un set finit de stări
- q0 este starea inițială
- ∑ este alfabetul de intrare
- ▲ este alfabetul de ieșire
- δ este funcția de tranziție care mapează Q×∑ → Q
- „λ” este funcția de ieșire care mapează Q×∑→ ▲
Condiție prealabilă - Mealy and Moore Machines
Diagrama este următoarea:
Moore Machine:
Mașina lui Moore este definită ca o mașină în teoria calculului ale cărei valori de ieșire sunt determinate doar de starea sa curentă. Are și 6 tupluri
(Q, q0, ∑, ▲, δ, λ)>
- Q este un set finit de stări
- q0 este starea inițială
- ∑ este alfabetul de intrare
- ▲ este alfabetul de ieșire
- δ este funcția de tranziție care mapează Q×∑ → Q
- λ este funcția de ieșire care mapează Q → ▲
Diagramă:
Diferența dintre mașina Mealy și mașina Moore este următoarea:
| Mașină Moore | Mealy Machine |
| Ieșirea depinde numai de starea actuală. | Ieșirea depinde de starea prezentă, precum și de intrarea actuală. |
| Mașina Moore își plasează, de asemenea, producția pe tranziție. | Mealy Machine își plasează producția pe tranziție. |
| Sunt necesare mai multe state. | Este necesar un număr mai mic de state. |
| Există mai puține cerințe hardware pentru implementarea circuitului. | Există mai multe cerințe hardware pentru implementarea circuitului. |
| Ele reacționează mai lent la intrări (un ciclu de ceas mai târziu). | Ei reacţionează mai rapid la intrări. |
| Ieșire sincronă și generare de stare. | Generare asincronă de ieșire. |
| Ieșirea este plasată pe state. | Ieșirea este plasată pe tranziții. |
| Ușor de proiectat. | Este greu de proiectat. |
| Dacă intrarea se modifică, ieșirea nu se modifică | Dacă intrarea se modifică, se schimbă și ieșirea. |
| Are mai multe sau aceleași stări ca cea a mașinii Mealy. | Are mai puține sau aceleași stări ca cea a mașinii Moore. |