state machine

Ein endlicher Automat (EA, auch Zustandsmaschine, englisch finite state machine (FSM)) ist ein Modell des Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.Ein Automat heißt endlich, wenn die Menge der Zustände, die er annehmen kann (später S genannt), endlich ist. Ein EA ist ein Spezialfall aus der Menge der Automaten. Ein Zustand speichert die Information über die Vergangenheit, d.h. er reflektiert die Änderungen der Eingabe seit dem Systemstart bis zum aktuellen Zeitpunkt. Ein Zustandsübergang zeigt eine Änderung des Zustandes des EA und wird durch logische Bedingungen beschrieben, die erfüllt sein müssen, um den Übergang zu ermöglichen. Eine Aktion ist die Ausgabe des EA, die in einer bestimmten Situation erfolgt. Es gibt vier Typen von AktionenEingangsaktionAusgabe wird beim Eintreten in einen Zustand generiertAusgangsaktionAusgabe wird beim Verlassen eines Zustandes generiertEingabeaktionAusgabe wird abhängig vom aktuellen Zustand und Eingabe generiertÜbergangsaktionAusgabe wird abhängig von einem Zustandsübergang generiert
Mehr unter Wikipedia.org...