Macchina farinosa è definita come una macchina nella teoria del calcolo i cui valori di output sono determinati sia dal suo stato corrente che dagli input correnti. In questa macchina è possibile al massimo una transizione.
Ha 6 tuple: (Q, q0, ∑, ▲, δ, λ’)
- Q è un insieme finito di stati
- q0 è lo stato iniziale
- ∑ è l'alfabeto di input
- ▲ è l'alfabeto di output
- δ è la funzione di transizione che mappa Q×∑ → Q
- ‘λ’ è la funzione di output che mappa Q×∑→ ▲
Prerequisito – Macchine Mealy e Moore
Il diagramma è il seguente:
Macchina Moore:
La macchina di Moore è definita nella teoria del calcolo come una macchina i cui valori di output sono determinati solo dal suo stato attuale. Ha anche 6 tuple
(Q, q0, ∑, ▲, δ, λ)>
- Q è un insieme finito di stati
- q0 è lo stato iniziale
- ∑ è l'alfabeto di input
- ▲ è l'alfabeto di output
- δ è la funzione di transizione che mappa Q×∑ → Q
- λ è la funzione di output che mappa Q → ▲
Diagramma:
La differenza tra la macchina Mealy e la macchina Moore è la seguente:
| Macchina Moore | Macchina farinosa |
| L'output dipende solo dallo stato presente. | L'output dipende dallo stato attuale e dall'input presente. |
| Anche la macchina di Moore colloca il suo output nella transizione. | Mealy Machine pone il suo output sulla transizione. |
| Sono necessari più Stati. | È richiesto un numero inferiore di stati. |
| I requisiti hardware per l'implementazione del circuito sono inferiori. | Sono necessari più requisiti hardware per l'implementazione del circuito. |
| Reagiscono più lentamente agli input (un ciclo di clock dopo). | Reagiscono più velocemente agli input. |
| Uscita sincrona e generazione dello stato. | Generazione di output asincrona. |
| L'output è assegnato agli stati. | L'output viene posizionato sulle transizioni. |
| Facile da progettare. | È difficile da progettare. |
| Se cambia l’input, l’output non cambia | Se cambia l’input, cambia anche l’output. |
| Ha più o gli stessi stati di quello della macchina Mealy. | Ha meno o gli stessi stati di quello della macchina di Moore. |