Programování na bázi automatů je paradigma počítačového programování, které zachází s částmi programu jako s konečnými automaty. Každý automat může současně provádět jeden krok a provádění programu je rozděleno na jednotlivé kroky. Kroky komunikují mezi sebou změnou hodnoty proměnné představující "stav" a řízení toku programu je určeno hodnotou této proměnné.

Proměnnou "stav" může být jednoduchý datový typ, ale mohou být použity složitější datové struktury. Běžnou technikou je vytvořit tabulku přechodu stavu, dvourozměrné pole obsahující řádky představující každý možný stav a sloupce představující vstupní parametr. Hodnota tabulky, kde se setká řádek a sloupec, je dalším stavem, do kterého by měl stroj přejít, pokud jsou splněny obě podmínky.

Stroj s konečnými stavy, vstup, paradigma, programovací termíny