Mealy Machine je v teoriji računanja opredeljen kot stroj, katerega izhodne vrednosti določajo njegovo trenutno stanje in trenutni vhodi. V tem stroju je možen največ en prehod.
Ima 6 tuplev: (Q, q0, ∑, ▲, δ, λ’)
- Q je končna množica stanj
- q0 je začetno stanje
- ∑ je vnosna abeceda
- ▲ je izhodna abeceda
- δ je prehodna funkcija, ki preslika Q×∑ → Q
- 'λ' je izhodna funkcija, ki preslika Q×∑→ ▲
Predpogoj – Stroji Mealy in Moore
java main
Diagram je naslednji:
Moore stroj:
Moorov stroj je v teoriji računanja definiran kot stroj, katerega izhodne vrednosti določa samo trenutno stanje. Ima tudi 6 tuplev
(Q, q0, ∑, ▲, δ, λ)>
- Q je končna množica stanj
- q0 je začetno stanje
- ∑ je vnosna abeceda
- ▲ je izhodna abeceda
- δ je prehodna funkcija, ki preslika Q×∑ → Q
- λ je izhodna funkcija, ki preslika Q → ▲
Diagram:
atoi c
Razlika med strojem Mealy in strojem Moore je naslednja:
c++ int v niz
| Stroj Moore | Mealy Machine |
| Rezultat je odvisen le od trenutnega stanja. | Izhod je odvisen od trenutnega stanja kot tudi od trenutnega vnosa. |
| Moorov stroj prav tako postavi svoj izhod na prehod. | Mealin Machine postavi svoj rezultat na prehod. |
| Potrebnih je več stanj. | Potrebno je manjše število stanj. |
| Za izvedbo vezja je potrebna manj strojna oprema. | Za izvedbo vezja je potrebnih več strojne opreme. |
| Na vnose se odzivajo počasneje (en urni cikel pozneje). | Hitreje reagirajo na vnose. |
| Sinhroni izhod in generiranje stanja. | Generiranje asinhronega izhoda. |
| Izhod je postavljen v stanja. | Izhod je nameščen na prehodih. |
| Enostaven za oblikovanje. | Težko je oblikovati. |
| Če se vhod spremeni, se izhod ne spremeni | Če se vhod spremeni, se spremeni tudi izhod. |
| Ima več ali enaka stanja kot stroj Mealy. | Ima manj ali enaka stanja kot stroj Moore. |