Handout - Institut für Theoretische Informatik - Technische ...

3. Turingmaschinen 3.0 Vorüberlegung
Eine TM-Konfiguration soll den aktuellen Zustand, den nicht- trivialen
Bandinhalt und die Position des Kopfes bestimmen. Die Konvention,
Eingaben zunächst zu internalisieren, erübrigt die Buchführung über den
noch zu bearbeitenden Teil der Eingabe.
Definition (vorläufig)
Unter einer Konfiguration einer TM versteht man ein Paar
〈q, ω〉 ∈ Q × B + , wobei genau ein Symbol des nichttrivialen Bandinhalts
ω durch Unterstreichung markiert ist, was die Kopfposition festlegt.
ω soll den Bereich des Bandes minimal überdecken, der die Kopfposition
und alle von # verschiedenen Symbole umfaßt. Daher sollten keine
führenden oder folgenden Blankzeichen # auftreten, sofern es sich nicht
um den Inhalt der Kopfposition handelt.
Etwas genauer: ω sollte ein Element sein von
((B − {#}) × B ∗ + {ε}) × B × (B ∗ × (B − {#}) + {ε}))
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 16 / 215