Automaten-basierte Programmierung ist ein Computer-Programmier-Paradigma, das Teile des Programms als endliche Automaten behandelt. Jeder Automat kann jeweils einen "Schritt" ausführen, und die Ausführung des Programms wird in einzelne Schritte unterteilt. Die Schritte kommunizieren miteinander, indem der Wert einer Variablen geändert wird, die "den Zustand" darstellt, und der Steuerfluß des Programms wird durch den Wert dieser Variablen bestimmt.

Die "state" -Variable kann ein einfacher Aufzählungsdatentyp sein, jedoch können komplexere Datenstrukturen verwendet werden. Eine übliche Technik ist das Erstellen einer Zustandsübergangstabelle, eines zweidimensionalen Arrays mit Zeilen, die jeden möglichen Zustand darstellen, und Spalten, die Eingabeparameter darstellen. Der Wert der Tabelle, bei der sich Zeile und Spalte treffen, ist der nächste Status, in den die Maschine wechseln soll, wenn beide Bedingungen erfüllt sind.

Zustandsmaschine, Eingabe, Paradigma, Programmierbegriffe