Wiki source for DetEndlAutomaten


Show raw source

=====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}}

Valid XHTML :: Valid CSS: :: Powered by WikkaWiki