Màquina de farina es defineix com una màquina en la teoria del càlcul els valors de sortida de la qual estan determinats tant pel seu estat actual com per les entrades actuals. En aquesta màquina és possible com a màxim una transició.
Té 6 tuples: (Q, q0, ∑, ▲, δ, λ’)
- Q és un conjunt finit d'estats
- q0 és l'estat inicial
- ∑ és l'alfabet d'entrada
- ▲ és l'alfabet de sortida
- δ és la funció de transició que mapeja Q×∑ → Q
- 'λ' és la funció de sortida que mapeja Q×∑→ ▲
Requisit previ - Màquines Mealy i Moore
El diagrama és el següent:
string dividida bash
Màquina de Moore:
La màquina de Moore es defineix com una màquina en la teoria del càlcul els valors de sortida de la qual només estan determinats pel seu estat actual. També té 6 tuples
programació dinàmica
(Q, q0, ∑, ▲, δ, λ)>
- Q és un conjunt finit d'estats
- q0 és l'estat inicial
- ∑ és l'alfabet d'entrada
- ▲ és l'alfabet de sortida
- δ és la funció de transició que mapeja Q×∑ → Q
- λ és la funció de sortida que mapeja Q → ▲
Diagrama:
control del programa emmagatzemat
La diferència entre la màquina Mealy i la màquina Moore és la següent:
| Màquina de Moore | Màquina de farina |
| La sortida només depèn de l'estat actual. | La sortida depèn de l'estat actual així com de l'entrada actual. |
| La màquina de Moore també posa la seva sortida a la transició. | Mealy Machine posa la seva sortida a la transició. |
| Calen més estats. | Es requereix menys nombre d'estats. |
| Hi ha menys requisits de maquinari per a la implementació del circuit. | Hi ha més requisits de maquinari per a la implementació del circuit. |
| Reaccionen més lentament a les entrades (un cicle de rellotge més tard). | Reaccionen més ràpidament a les entrades. |
| Sortida síncrona i generació d'estat. | Generació de sortida asíncrona. |
| La sortida es col·loca als estats. | La sortida es col·loca a les transicions. |
| Fàcil de dissenyar. | És difícil de dissenyar. |
| Si l'entrada canvia, la sortida no canvia | Si l'entrada canvia, la sortida també canvia. |
| Té més o els mateixos estats que el de la màquina Mealy. | Té menys o els mateixos estats que el de la màquina de Moore. |