Eindige-toestandsmachine: feedback benutten om programmeerbare sequentiecontrollers te bouwen

Feedback is een hoeksteen van moderne engineering, wat een eenvoudige schakeling omzet in een veelzijdig controlsysteem. Door feedback-lussen – zowel negatief als positief – in te bedden, kunnen ontwerpers apparaten creëren die zich aanpassen, stabiliseren, en complexe logica uitvoeren met bemerkenswerte eenvoud.

• Vergelijker + negatieve feedback → instelbare-versterker
• Vergelijker + positieve feedback → hysteresis-ingeschakelde vergelijker
• Combinatorische logica + positieve feedback → multivibrator

In procesinstrumentatie levert een meetsysteem gekoppeld met negatieve feedback een gesloten-lus controller die automatisch afwijkingen van een setpoint corrigeert.

Wanneer een lookup-tabel in een ROM geprogrammeerd wordt en de data-uitgang teruggerouteerd wordt naar de adresingang, ontstaat een nieuwe klasse apparaat: de Eindige Toestandsmachine (FSM). Deze structuur gebruikt opgeslagen data om het volgende adres te dicteren, waarmee een vooraf gedefinieerde reeks uitgangen gegenereerd wordt.

Het fundamentele idee is simpel: elk ROM-adres bevat het adres van de volgende toestand. Om de reeks te synchroniseren met een klok en timing-gevaren te vermijden, wordt de data-uitgang door een 4-bits D-type flipflop gevoed voordat het het volgende adres wordt. De klokpuls zorgt ervoor dat de machine stap voor stap overgaat.

Een intuïtieve analogie is een rij postkantoor-dozen. Elke doos (adres) bevat een briefje dat je naar de volgende doos (data) stuurt. Door de briefjes in een gewenste volgorde te rangschikken, dicteer je de reeks geopende dozen en, consequent, de reeks gelezen informatie.

Met 16 adresbare locaties kan de FSM 16 distincte stabiele toestanden innemen. De ROM is voorgeprogrammeerd met de volgende toestand voor elk adres, en de machine avanceert op elke klokflank.

Een veelvoorkomende toepassing is het genereren van een willekeurige telreeks, zoals de 4-bits Gray-code:

 Adres -----> Data Gray-code telreeks: 0000 -------> 0001 0 0000 0001 -------> 0011 1 0001 0010 -------> 0110 2 0011 0011 -------> 0010 3 0010 0100 -------> 1100 4 0110 0101 -------> 0100 5 0111 0110 -------> 0111 6 0101 0111 -------> 0101 7 0100 1000 -------> 0000 8 1100 1001 -------> 1000 9 1101 1010 -------> 1011 10 1111 1011 -------> 1001 11 1110 1100 -------> 1101 12 1010 1101 -------> 1111 13 1011 1110 -------> 1010 14 1001 1111 -------> 1110 15 1000 

Door deze tabel te doorlopen, start de FSM op adres 0000, leest de data 0001, en springt naar adres 0001 op de volgende kloktick, enzovoort. Wanneer het de laatste geprogrammeerde toestand bereikt (adres 1000), zorgt de opgeslagen data 0000 ervoor dat de cyclus terug naar het begin loopt.

Het uitbreiden van de ROM's adreslijnen en het toevoegen van meer data-uitgangen vergroot de flexibiliteit verder. Bijvoorbeeld, een 5-bits adres ROM kan twee distincte telreeks coderen – binair en Gray – gecontroleerd door een extra functielijn (A4). De volgende tabel illustreert deze dual-mode operatie:

 Adres -----> Data Adres -----> Data 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 

In deze configuratie telt de FSM in binair wanneer A4 = 0; wanneer A4 = 1 volgt hij de Gray-code reeks. De programmeur willekeurige reeksen kan definiëren en zelfs beslissen wanneer de cyclus herstart, wat de FSM een volledig programmeerbaar telapparaat maakt.

Verder verbeteringen zijn mogelijk door een ROM met extra adres- en datalijnen te gebruiken. Een ontwerp zou D0–D3 terug kunnen routeren naar A0–A3 voor state feedback, terwijl D4–D7 willekeurige uitgangen leveren die niet gerelateerd zijn aan de toestand. Dit breidt de FSM's capaciteiten uit buiten tellen, waardoor het complexe combinatorische logica kan uitvoeren die afhangt van zowel de huidige toestand als externe ingangen (A4–A7).

Bovendien hoeft de flipflop's klok geen simpele vierkante-golf generator te zijn; het kan gekoppeld worden aan een externe gebeurtenis, wat ervoor zorgt dat de FSM alleen avanceren wanneer een specifiek signaal optreedt. Deze event-gedreven benadering lijn de FSM's operatie nauw aan met real-world processen.

Dus, een ROM geprogrammeerd met een lookup-tabel, gecombineerd met feedback en klokcontrole, realiseert een echte eindige toestandsmachine. Het in ROM opgeslagen programma dicteert het volledige gedrag, wat de theoretische Turing-machine's principe van een programma dat berekening dicteert, weerspiegelt. Deze praktische uitvoering demonstreert de kracht van feedback, geheugen, en sequentiële logica om geavanceerde, betrouwbare, en veelzijdige digitale systemen te bouwen.