Machine à états finis : exploiter la rétroaction pour construire des contrôleurs de séquence programmables

La rétroaction est une pierre angulaire de l'ingénierie moderne, transformant un circuit simple en un système de contrôle polyvalent. En incorporant des boucles de rétroaction — tant négatives que positives — les concepteurs peuvent créer des dispositifs qui s'adaptent, se stabilisent et effectuent une logique complexe avec une simplicité remarquable.

• Comparateur + rétroaction négative → amplificateur à gain contrôlable
• Comparateur + rétroaction positive → comparateur à hystérésis
• Logique combinatoire + rétroaction positive → multivibrateur

En instrumentation de processus, un système de mesure couplé à une rétroaction négative produit un contrôleur en boucle fermée qui corrige automatiquement les écarts par rapport à un consigne.

Lorsqu'une table de correspondance est programmée dans une ROM et que la sortie de données est routée vers l'entrée d'adresse, une nouvelle classe de dispositif émerge : la Machine à États Finis (MEF). Cette structure utilise les données stockées pour dicter l'adresse suivante, générant ainsi une séquence prédéfinie de sorties.

L'idée fondamentale est simple : chaque adresse ROM contient l'adresse de l'état suivant. Pour synchroniser la séquence avec une horloge et éviter les risques de temporisation, la sortie de données est passée à travers une bascule D-type 4 bits avant de devenir la prochaine adresse. L'impulsion d'horloge assure que la machine transitionne étape par étape.

Une analogie intuitive est une rangée de boîtes postales. Chaque boîte (adresse) contient un billet vous dirigeant vers la prochaine boîte (données). En arrangeant les billets dans un ordre désiré, vous dictez la séquence de boîtes ouvertes et, par conséquent, la séquence d'informations lues.

Avec 16 emplacements adressables, la MEF peut occuper 16 états stables distincts. La ROM est pré-programmée avec l'état suivant pour chaque adresse, et la machine avance à chaque front d'horloge.

Une application courante est la génération d'une séquence de comptage arbitraire, tel que le code Gray 4 bits :

Adresse -----> Données Code Gray séquence de comptage:
0000 -------> 0001 0
0001 -------> 0011 1
0010 -------> 0110 2
0011 -------> 0010 3
0100 -------> 1100 4
0101 -------> 0100 5
0110 -------> 0111 6
0111 -------> 0101 7
0100 -------> 1100 8
1001 -------> 1000 9
1010 -------> 1011 10
1011 -------> 1001 11
1100 -------> 1101 12
1101 -------> 1111 13
1110 -------> 1010 14
1111 -------> 1110 15
1000 -------> 0000

En parcourant cette table, la MEF démarre à l'adresse 0000, lit la donnée 0001, et saute à l'adresse 0001 au prochain tick d'horloge, et ainsi de suite. Quand elle atteint l'état final programmé (adresse 1000), la donnée stockée 0000 reboucle la séquence au début.

Étendre les lignes d'adresse de la ROM et ajouter plus de sorties de données améliore encore la flexibilité. Par exemple, une ROM à adresse 5 bits peut encoder deux séquences de comptage distinctes — binaire et Gray — contrôlées par une ligne de fonction additionnelle (A4). Le tableau suivant illustre cette opération à double mode :

Adresse -----> Données   Adresse -----> Données
00000 -------> 0001     10000 -------> 0001
00001 -------> 0010     10001 -------> 0011
00010 -------> 0011     10010 -------> 0110
00011 -------> 0100     10011 -------> 0010
00100 -------> 0101     10100 -------> 1100
00101 -------> 0110     10101 -------> 0100
00110 -------> 0111     10110 -------> 0111
00111 -------> 1000     10111 -------> 0101
01000 -------> 1001     11000 -------> 0000
01001 -------> 1010     11001 -------> 1000
01010 -------> 1011     11010 -------> 1011
01011 -------> 1100     11011 -------> 1001
01100 -------> 1101     11100 -------> 1101
01101 -------> 1110     11101 -------> 1111
01110 -------> 1111     11110 -------> 1010
01111 -------> 0000     11111 -------> 1110

Dans cette configuration, quand A4 = 0 la MEF compte en binaire ; quand A4 = 1 elle suit la séquence Gray. Le programmeur peut définir des séquences arbitraires et même décider quand le cycle redémarre, faisant de la MEF un dispositif de comptage entièrement programmable.

D'autres améliorations sont possibles en utilisant une ROM avec des lignes d'adresse et de données additionnelles. Un design pourrait router D0–D3 vers A0–A3 pour la rétroaction d'état, tandis que D4–D7 fournissent des sorties arbitraires sans rapport avec l'état. Cela étend les capacités de la MEF au-delà du comptage, lui permettant d'effectuer une logique combinatoire complexe dépendant à la fois de l'état courant et d'entrées externes (A4–A7).

De plus, l'horloge de la bascule n'a pas besoin d'être un simple générateur d'onde carrée ; elle peut être liée à un événement externe, causant l'avancement de la MEF seulement quand un signal particulier se produit. Cette approche pilotée par événements aligne l'opération de la MEF étroitement avec les processus du monde réel.

Ainsi, une ROM programmée avec une table de correspondance, combinée avec rétroaction et contrôle d'horloge, réalise une vraie machine à états finis. Le programme stocké en ROM dicte tout le comportement, miroir du principe de la machine de Turing théorique d'un programme dictant le calcul. Cette incarnation pratique démontre la puissance de la rétroaction, mémoire et logique séquentielle pour construire des systèmes numériques sophistiqués, fiables et polyvalents.