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.

δ: S x X → S

δ(s_i, x_j) → s_k

Der Endzustand wird mit der Folge 111 erreicht.

δ* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*

δ*(s₀, w) ∈ S

Wort:
δ*(s, ε) = s s ∈ S, ε leeres Wort

δ*(s,x_i) = δ(s,x_i) x_i ∈ X (ein Zeichen)

δ*(s, x)
= δ(s, x₁ x₂ ... x_n)
= δ(δ(s, x₁), x₂ x₃ ... x_n)
= δ(δ(δ(s, x₁), x₂), x₃ x₄ ... x_n)

"HERR_OTTO_IST_..."

---

Siehe auch • •