Ο προγραμματισμός που βασίζεται σε αυτοματοποιημένα προγράμματα είναι ένα παράδειγμα προγραμματισμού υπολογιστών που αντιμετωπίζει τμήματα του προγράμματος ως πεπερασμένα αυτόματα. Κάθε αυτοματοποιημένο σύστημα μπορεί να λάβει ένα "βήμα" κάθε φορά και η εκτέλεση του προγράμματος χωρίζεται σε μεμονωμένα βήματα. Τα βήματα επικοινωνούν μεταξύ τους μεταβάλλοντας την τιμή μιας μεταβλητής που αντιπροσωπεύει την κατάσταση και η ροή ελέγχου του προγράμματος καθορίζεται από την τιμή αυτής της μεταβλητής.

Η μεταβλητή "state" μπορεί να είναι ένας απλός τύπος δεδομένων enum, αλλά μπορούν να χρησιμοποιηθούν πιο σύνθετες δομές δεδομένων. Μια κοινή τεχνική είναι να δημιουργηθεί ένας πίνακας μεταβατικής κατάστασης, ένας δισδιάστατος πίνακας που περιλαμβάνει σειρές που αντιπροσωπεύουν κάθε πιθανή κατάσταση και στήλες που αντιπροσωπεύουν την παράμετρο εισόδου. Η τιμή του πίνακα όπου συναντάται η σειρά και η στήλη είναι η επόμενη κατάσταση στην οποία πρέπει να μεταβαίνει το μηχάνημα, εάν πληρούνται και οι δύο προϋποθέσεις.

Μηχανή πεπερασμένων καταστάσεων, Εισαγωγή, Paradigm, Όροι προγραμματισμού