Definition

Def. DEA (detirminstische, endliche. Automaten)

A = (X ,S, s₀, delta, F)

delta : S x X -> S

delta(s_i, x_j) -> s_k

Beispiel Ablaufsteuerung

Der Endzustand wird mit der Folge 111 erreicht.

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

delta*(s₀, w) elem. S

Wort:
delta*(s, epsilon) = s s elem. S, epsilon: leeres Wort

delta*(s,x_i) = delta(s,x_i) x_i elem. X (ein Zeichen)

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

---

Siehe auch • •