Wiki source for DetEndlAutomaten
=====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<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
==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""<sub>0</sub>"", w) ""∈"" S
Wort:
~w = ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>""
~""x<sub>i</sub> ∈ X""
""δ""*(s, ""ε"") = s s ""∈"" S, ""ε"" leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub> ∈"" X (ein Zeichen)
""δ""*(s, x)
= ""δ""(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"")
= ""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
= ""δ""(""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
==a==Beispiel: OTTO==a==
{{image url="images/ATFS_otto.png"}}
"HERR_OTTO_IST_..."
----
Siehe auch {{backlinks}}
(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<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
==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""<sub>0</sub>"", w) ""∈"" S
Wort:
~w = ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>""
~""x<sub>i</sub> ∈ X""
""δ""*(s, ""ε"") = s s ""∈"" S, ""ε"" leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub> ∈"" X (ein Zeichen)
""δ""*(s, x)
= ""δ""(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"")
= ""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
= ""δ""(""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
==a==Beispiel: OTTO==a==
{{image url="images/ATFS_otto.png"}}
"HERR_OTTO_IST_..."
----
Siehe auch {{backlinks}}