Revision [5697]
This is an old revision of DetEndlAutomaten made by ToBo on 2008-10-24 11:49:15.
Endliche (erkennende) Automaten
1. Definition
Def. DEA (detirminstische, endliche. Automaten)
A = (X ,S, s0, δ, F)
δ: S x X -> S
δ(si, xj) -> sk
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 elem. X
xi elem. X
δ*(s, epsilon) = s s elem. S, epsilon: leeres Wort
δ*(s,xi) = δ(s,xi) xi elem. X (ein Zeichen)
δ*(s, x)
= δ(s, x1 x2 ... xn)
= δ(δ(s, x1), x2 x3 ... xn)
= δ(δ(δ(s, x1), x2), x3 x4 ... xn)