Endlicher Automat

Zeichnen Sie Ihre eigene Endlichen Automaten.

Diese App implementiert einen Algorithmus, um einen endlichen Endlicher Automat.

Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat; englisch finite state machine (FSM)) ist ein Modell eines 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 Aktionen

Eingangsaktion

Ausgabe wird beim Eintreten in einen Zustand generiert

Ausgangsaktion

Ausgabe wird beim Verlassen eines Zustandes generiert

Eingabeaktion

Ausgabe wird abhängig vom aktuellen Zustand und der Eingabe generiert

Übergangsaktion

Ausgabe wird abhängig von einem Zustandsübergang generiert