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

3. Turingmaschinen 3.0 Vorüberlegung
Von Beginn an lassen wir neben den Symbolen aus Σ und dem
Blankzeichen # weitere Hilfssymbole im Bandalphabet zu. Dies können
z.B. Randbegrenzer, Trennsymbole oder spezielle Löschsymbole sein.
Definition (TM, die gleichzeitig schreiben und sich bewegen kann)
M = 〈Q, B, Σ, δ, q 0 , q F 〉 wie oben, mit dem Unterschied, daß die Relation
Q × B δ Q × (B + {L, R}) ersetzt wird durch
Q × B δ Q × B × {N, L, R}
In diesem Fall wird pro Schritt zwingend ein Bandsymbol geschrieben (dies
schließt die Möglichkeit ein, das aktuelle Bandsymbol zu reproduzieren),
und dann ein Schritt auf ein Nachbarfeld ausgeführt ( L bzw. R ), oder
auf dem aktuellen Feld verharrt ( N ).
Offenbar kann man jeden Schritt einer solchen Maschine mit höchstens
zwei Schritten einer Maschine simulieren, die entweder schreiben oder sich
bewegen kann. Umgekehrt ist die Simulation noch einfacher (vergl. HA).
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 14 / 215