Revision [6589]
This is an old revision of DetEndlAutomaten made by ToBo on 2008-11-21 00:21:29.
Deterministische, endliche Zustandsautomaten
(SkriptAtfsEckNr1, S. 15)
1. Definition
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.

2. Beispiel: Ablaufsteuerung

Der Endzustand wird mit der Folge 111 erreicht.
δ* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
δ*(s0, w) ∈ S
Wort:
w = x1 x2 ... xn
xi ∈ X
xi ∈ X
δ*(s, ε) = s s ∈ S, ε leeres Wort
δ*(s,xi) = δ(s,xi) xi ∈ X (ein Zeichen)
δ*(s, x)
= δ(s, x1 x2 ... xn)
= δ(δ(s, x1), x2 x3 ... xn)
= δ(δ(δ(s, x1), x2), x3 x4 ... xn)