Programarea automată este o paradigmă de programare a calculatorului care tratează secțiunile programului ca și automate finite. Fiecare automat poate lua un "pas" la un moment dat, iar executarea programului este împărțită în pași individuali. Pașii comunică între ei schimbând valoarea unei variabile care reprezintă "starea", iar fluxul de control al programului este determinat de valoarea acelei variabile.

Variabila "stare" poate fi un tip de date simplu enum, dar pot fi utilizate structuri de date mai complexe. O tehnică comună este de a crea o tabelă de tranziție de stat, o matrice bidimensională cuprinzând rânduri reprezentând fiecare stare posibilă și coloane reprezentând parametrul de intrare. Valoarea tabelului unde se întâlnesc rândul și coloana este următoarea stare pe care ar trebui să o treacă aparatul dacă sunt îndeplinite ambele condiții.

Masina de stat finita, Intrare, Paradigma, Termeni de programare