Op automaten gebaseerd programmeren is een paradigma voor computerprogrammering dat secties van het programma als eindige automaten behandelt. Elke automaat kan één stap per keer uitvoeren en de uitvoering van het programma wordt onderverdeeld in afzonderlijke stappen. De stappen communiceren met elkaar door de waarde van een variabele die "de staat" vertegenwoordigt te wijzigen en de besturingsstroom van het programma wordt bepaald door de waarde van die variabele.

De "status" -variabele kan een eenvoudig gegevenstype zijn, maar er kunnen complexere gegevensstructuren worden gebruikt. Een gebruikelijke techniek is het maken van een toestandsovergangstabel, een tweedimensionale array die rijen omvat die elke mogelijke status representeren, en kolommen die invoerparameters voorstellen. De waarde van de tabel waaraan rij en kolom voldoen, is de volgende staat waarin het apparaat moet overschakelen als aan beide voorwaarden is voldaan.

Eindige toestandsmachine, invoer, paradigma, programmeervoorwaarden