Revision history for DetEndlAutomaten
Additions:
Wiederholung:
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
Additions:
=====Deterministische, endliche Zustandsautomaten=====
Siehe auch: [[EndlicherAutomat Endlicher Zustandsautomat]].
Siehe auch: [[EndlicherAutomat Endlicher Zustandsautomat]].
Deletions:
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
{{image url="images/ATFS_Zustandsuebergang.png"}}
Additions:
=====Deterministische, endliche Automaten=====
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.
{{image url="images/EndlicherAutomatMat.png"}}
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.
{{image url="images/EndlicherAutomatMat.png"}}
Deletions:
Def. DEA (detirminstische, endliche. Automaten)
A = (X ,S, ""s<sub>0</sub>"", ""δ"", F)
Additions:
(SkriptAtfsEckNr1, S. 15)
Additions:
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
Deletions:
""δ(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
Additions:
~""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, ""ε"") = s s ""∈"" S, ""ε"" leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub> ∈"" X (ein Zeichen)
Deletions:
""δ""*(s, epsilon) = s s elem. S, epsilon: leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. X (ein Zeichen)
Additions:
""δ""*(s""<sub>0</sub>"", w) ""∈"" S
Deletions:
Additions:
= ""δ""(""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
Deletions:
Additions:
A = (X ,S, ""s<sub>0</sub>"", ""δ"", F)
""δ"": S x X -> S
""δ(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
""δ""* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
""δ""*(s""<sub>0</sub>"", w) elem. S
""δ""*(s, epsilon) = s s elem. S, epsilon: leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. 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>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
""δ"": S x X -> S
""δ(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
""δ""* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
""δ""*(s""<sub>0</sub>"", w) elem. S
""δ""*(s, epsilon) = s s elem. S, epsilon: leeres Wort
""δ""*(s,x""<sub>i</sub>"") = ""δ""(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. 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>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
Deletions:
delta : S x X -> S
""delta(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
delta* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
delta*(s""<sub>0</sub>"", w) elem. S
delta*(s, epsilon) = s s elem. S, epsilon: leeres Wort
delta*(s,x""<sub>i</sub>"") = delta(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. X (ein Zeichen)
delta*(s, x)
= delta(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"")
= delta(delta(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
= delta(delta(delta(s, ""x<sub>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
Additions:
==a==Definition==a==
==a==Beispiel: Ablaufsteuerung==a==
==a==Beispiel: OTTO==a==
{{image url="images/ATFS_otto.png"}}
"HERR_OTTO_IST_..."
==a==Beispiel: Ablaufsteuerung==a==
==a==Beispiel: OTTO==a==
{{image url="images/ATFS_otto.png"}}
"HERR_OTTO_IST_..."
Deletions:
===Beispiel Ablaufsteuerung===
Additions:
=====Endliche (erkennende) Automaten=====