Erweiterte Überführungsfunktion

Die Funktion δ^:Z×ΣZ ist induktiv definiert:

  1. Basisfall (leeres Wort):
δ^(z,ϵ):=z

Übersetzung: Wenn du in Zustand z bist und "nichts" (ϵ) liest, bleibst du in z.
2. Induktiver Schritt (Wort ax): $$\hat{\delta}(z, ax) := \hat{\delta}(\delta(z, a), x)$$
Übersetzung: Um von z aus das Wort ax (z.B. "101") zu verarbeiten, tue Folgendes:
3. Verarbeite das erste Zeichen a (z.B. '1') mit der normalen δ-Funktion. Du landest in einem neuen Zustand (z.B. zk).
4. Verarbeite von zk aus den Rest des Wortes x (z.B. "01") wieder mit δ^.