Akzeptieren & Sprache T(M)

Ein DFA M akzeptiert ein Wort $w \in Σ^{*},$ falls $\hat{δ} (z_{0}, w) \in E$ .
- Übersetzung: Ein Wort wird akzeptiert, wenn die Maschine nach dem Lesen des ganzen Wortes (gestartet bei $z_{0}$ ) in einem Endzustand landet.
Die Sprache T(M) ist die Menge aller Wörter, die M akzeptiert: $T (M) := {x \in Σ^{*} ∣ \hat{δ} (z_{0}, x) \in E}$