Endliche Automaten, auch bekannt als Zustandsmaschinen oder FSM (Finite-State Machines), sind ein mathematisches Rechenmodell, das beim Entwurf von Computerprogrammen und sequentiellen Logikschaltungen verwendet wird. Im Allgemeinen ist ein endlicher Automat (Singular) eine Maschine, die von einem Zustand in einen anderen übergeht. Es reagiert mit einer vordefinierten Abfolge von Verhaltensweisen, wenn es auf ein bestimmtes Ereignis trifft.
Beispielsweise ist das Drehkreuz einer U-Bahn-Station ein Beispiel für einen endlichen Zustandsautomaten. Wenn ein Fahrgast den erforderlichen Fahrpreis in den Automaten einzahlt, wechselt der Automat von einem vordefinierten Zustand (verriegelt) in einen anderen (entriegelt), wodurch der Fahrgast einsteigen kann.
Elektronikbegriffe, Logik, Modelle, Turingmaschinen
