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

""&#x3B4;(s<sub>i</sub>, x<sub>j</sub>) &rarr; s<sub>k</sub>""


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

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

Der Endzustand wird mit der Folge 111 erreicht.

""&#x3B4;""* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*

""&#x3B4;""*(s""<sub>0</sub>"", w) ""&isin;"" S

Wort:
~w = ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>""
~""x<sub>i</sub> &isin; X""

""&#x3B4;""*(s, ""&epsilon;"") = s    s ""&isin;"" S, 	""&epsilon;"" leeres Wort

""&#x3B4;""*(s,x""<sub>i</sub>"") = ""&#x3B4;""(s,x""<sub>i</sub>"")    x""<sub>i</sub> &isin;"" X  (ein Zeichen)

""&#x3B4;""*(s, x) 
= ""&#x3B4;""(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"") 
= ""&#x3B4;""(""&#x3B4;""(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"") 
= ""&#x3B4;""(""&#x3B4;""(""&#x3B4;""(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}}