=====Endliche Zustandsautomaten=====

==a==Definition==a==

{{image url="images/EndlicherAutomatMat.png"}}

X: Menge der Eingabesymbole, Eingabealphabet
S: Zustandsmenge
S""₀"": Menge der Anfangszustände
""δ"": Zustandsübergangsfunktion (vergleiche mit State Event Matrix)
F: Menge der Endzustände


Endliche Zustandsautomaten (engl. Finite State Machines) werden in der Elektrotechnik und und virtuelle, endliche Zustandsautomaten in der Softwaretechnik zur Formalisierung und Realisierung reaktiver Systeme (diskrete Systeme) verwendet.

Einen endlichen Automat, ein Spezialfall des [[ZustandsAutomaten Zustandsautomaten]], kennzeichnet die endliche Anzahl seiner Zustände.

Ein endlicher Automat (eng. finite state machine) besteht aus Zuständen, Zustandsübergängen und Aktionen.

{{image url="images/ATFS_Zustandsuebergang.png"}}


==a==Einordnung==a==

[[Kybernetik]] > Technische Kybernetik > kontinuierliche Systeme > diskrete Systeme > Automatentheorie


==a==Prinzip==a==

Eingabe -> Zustandsautomat -> Ausgabe

Eingaben: Zeichenfolgen über Alphabet X = {""x_1,, x₂, ..., x_n""}
Ausgaben: Zeichenfolgen über Alphabet Y = {""y_1,, y₂, ..., y_m""}
Zustände: S(state) __unterscheidbare__ Stadien der Verarbeitung von Eingaben. Zustandsmenge S = {""s_1,, s₂, ..., s_i""}

Indikator für Zustände: Partizip Perfect
Ein Euro ist eingeworfen.
Die Taste ist gedrückt.



----
CategoryStudiumSE
Siehe auch {{backlinks}}