Unser Alltag ist bestimmt durch zahlreiche ,,Maschinen'': Auto, Handy, Fahrstuhl, Parkuhr, ...
Jede dieser Maschine befindet sich zu einer gewissen Zeit in einem definierten Zustand. Auf Ereignisse reagieren diese Maschinen je nach Zustand: Ein parkendes Auto reagiert auf die Betätigung des Gaspedals überhaupt nicht, während dasselbe Auto während der Fahrt beschleunigt wird. Eine Beschreibung der Maschinen hängt deshalb vom jeweiligen Zustand ab, in dem sich diese befindet.
Alan Turing (1912-1954) entwickelte für den Computer eine allgemeine Maschine (,,Turing-Maschine''), mit der zahlreiche Probleme gelöst werden können. Maschinenmodelle nennt man in der Informatik auch Automaten.
Das Programmieren endlicher Automaten wird oft auch als zustandsorientiertes programmieren bezeichnet.