Revision history for DetEndlAutomaten


Revision [6590]

Last edited on 2008-11-21 00:21:49 by ToBo
Additions:
Wiederholung:
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""


Revision [6589]

Edited on 2008-11-21 00:21:29 by ToBo
Additions:
=====Deterministische, endliche Zustandsautomaten=====
Siehe auch: [[EndlicherAutomat Endlicher Zustandsautomat]].
Deletions:
=====Deterministische, endliche Automaten=====
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
{{image url="images/ATFS_Zustandsuebergang.png"}}


Revision [6588]

Edited on 2008-11-21 00:19:52 by ToBo
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"}}
Deletions:
=====Endliche (erkennende) Automaten=====
Def. DEA (detirminstische, endliche. Automaten)
A = (X ,S, ""s<sub>0</sub>"", ""δ"", F)


Revision [6508]

Edited on 2008-11-17 03:57:05 by ToBo
Additions:
(SkriptAtfsEckNr1, S. 15)


Revision [5794]

Edited on 2008-10-28 10:23:18 by ToBo
Additions:
""δ"": S x X → S
""δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub>""
Deletions:
""δ"": S x X -> S
""δ(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""


Revision [5698]

Edited on 2008-10-24 11:51:03 by ToBo
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)
Deletions:
~""x<sub>i</sub> elem. X""
""δ""*(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)


Revision [5697]

Edited on 2008-10-24 11:49:15 by ToBo
Additions:
""δ""*(s""<sub>0</sub>"", w) ""∈"" S
Deletions:
""δ""*(s""<sub>0</sub>"", w) elem. S


Revision [5696]

Edited on 2008-10-24 11:46:59 by ToBo
Additions:
= ""δ""(""δ""(""δ""(s, ""x<sub>1</sub>), x<sub>2</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
Deletions:
= ""δ""(""δ""(""δ""(s, ""x<sub>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")


Revision [5695]

Edited on 2008-10-24 11:46:36 by ToBo
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>"")
Deletions:
A = (X ,S, ""s<sub>0</sub>"", delta, F)
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>"")


Revision [5667]

Edited on 2008-10-23 14:56:55 by ToBo
Additions:
==a==Definition==a==
==a==Beispiel: Ablaufsteuerung==a==
==a==Beispiel: OTTO==a==
{{image url="images/ATFS_otto.png"}}
"HERR_OTTO_IST_..."
Deletions:
===Definition===
===Beispiel Ablaufsteuerung===


Revision [5666]

Edited on 2008-10-23 14:33:03 by ToBo
Additions:
=====Endliche (erkennende) Automaten=====
Deletions:
==a==Endliche (erkennende) Automaten==a==


Revision [5665]

The oldest known version of this page was created on 2008-10-23 14:32:42 by ToBo
Valid XHTML :: Valid CSS: :: Powered by WikkaWiki