Automatbaseret programmering er et computerprogrammeringsparadigme, der behandler dele af programmet som endeligt automat. Hver automat kan tage et "trin" ad gangen, og programmets udførelse er opdelt i individuelle trin. Trinene kommunikerer med hinanden ved at ændre værdien af ​​en variabel, der repræsenterer "staten", og kontrolflowet af programmet bestemmes af værdien af ​​denne variabel.

"State" -variablen kan være en simpel enumdatatype, men mere komplekse datastrukturer kan anvendes. En fælles teknik er at oprette en tilstandsovergangstabel, et todimensionelt array omfattende rækker, der repræsenterer enhver mulig tilstand, og kolonner, som repræsenterer indgangsparameter. Værdien af ​​bordet, hvor rækken og kolonnen mødes, er den næste tilstand, maskinen skal overgå til, hvis begge betingelser er opfyldt.

Finite state machine, Input, Paradigm, Programmeringsbetingelser