=====Deterministische, endliche Zustandsautomaten=====

(SkriptAtfsEckNr1, S. 15)

==a==Definition==a==

Def. DEA (deterministische, endliche Automaten)
~-Deterministische Systeme erlauben prinzipiell die Ableitung ihres Verhaltens aus einem vorherigen Zustand. Die Reaktion ist im so gesehen im Gegensatz zu stochastischen Systeme vorhersehbar.
~-Endlich, weil die Anzahl der Zustände endlich ist.

Siehe auch: [[EndlicherAutomat Endlicher Zustandsautomat]].

Wiederholung:

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

""δ"": S x X → S

""δ(s_i, x_j) → s_k""


==a==Beispiel: Ablaufsteuerung==a==

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

Der Endzustand wird mit der Folge 111 erreicht.

""δ""* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*

""δ""*(s""₀"", w) ""∈"" S

Wort:
~w = ""x₁ x₂ ... x_n""
~""x_i ∈ X""

""δ""*(s, ""ε"") = s s ""∈"" S, ""ε"" leeres Wort

""δ""*(s,x""_i"") = ""δ""(s,x""_i"") x""_i ∈"" X (ein Zeichen)

""δ""*(s, x)
= ""δ""(s, ""x₁ x₂ ... x_n"")
= ""δ""(""δ""(s, ""x₁), x₂ x₃ ... x_n"")
= ""δ""(""δ""(""δ""(s, ""x₁), x₂), x₃ x₄ ... x_n"")


==a==Beispiel: OTTO==a==

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

"HERR_OTTO_IST_..."


----
Siehe auch {{backlinks}}