Machine à fariner est défini comme une machine dans la théorie du calcul dont les valeurs de sortie sont déterminées à la fois par son état actuel et par ses entrées actuelles. Dans cette machine, au plus une transition est possible.
Il comporte 6 tuples : (Q, q0, ∑, ▲, δ, λ')
- Q est un ensemble fini d'états
- q0 est l'état initial
- ∑ est l'alphabet d'entrée
- ▲ est l'alphabet de sortie
- δ est la fonction de transition qui mappe Q×∑ → Q
- 'λ' est la fonction de sortie qui mappe Q×∑→ ▲
Prérequis - Machines Mealy et Moore
Le schéma est le suivant :
Machine Moore :
La machine de Moore est définie comme une machine dans la théorie du calcul dont les valeurs de sortie sont déterminées uniquement par son état actuel. Il a aussi 6 tuples
(Q, q0, ∑, ▲, δ, λ)>
- Q est un ensemble fini d'états
- q0 est l'état initial
- ∑ est l'alphabet d'entrée
- ▲ est l'alphabet de sortie
- δ est la fonction de transition qui mappe Q×∑ → Q
- λ est la fonction de sortie qui mappe Q → ▲
Diagramme:
La différence entre la machine Mealy et la machine Moore est la suivante :
| Machine Moore | Machine à fariner |
| La sortie dépend uniquement de l’état actuel. | La sortie dépend de l’état actuel ainsi que de l’entrée actuelle. |
| La machine de Moore place également sa sortie sur la transition. | Mealy Machine place sa sortie sur la transition. |
| Il faut davantage d’États. | Moins d’États sont nécessaires. |
| Il y a moins de besoins matériels pour la mise en œuvre du circuit. | Il y a plus d'exigences matérielles pour la mise en œuvre du circuit. |
| Ils réagissent plus lentement aux entrées (un cycle d'horloge plus tard). | Ils réagissent plus rapidement aux entrées. |
| Sortie synchrone et génération d'état. | Génération de sortie asynchrone. |
| La sortie est placée sur les états. | La sortie est placée sur les transitions. |
| Facile à concevoir. | C’est difficile à concevoir. |
| Si l'entrée change, la sortie ne change pas | Si l’entrée change, la sortie change également. |
| A plus ou les mêmes états que celui de la machine Mealy. | A moins ou les mêmes états que celui de la machine de Moore. |