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

3. Turingmaschinen 3.0 Vorüberlegung
Satz
Sprachen, die von TMeB’n akzeptiert werden, deren Kopf schreiben und
sich bewegen kann, sind semi-entscheidbar (vergl. HA).
Andere Varianten von TM’n sind gleich mächtig zu STM’n:
Definition
Eine Mehr-Spur Turingmaschine verwendet ein Bandalphabet der Form
B n mit Σ ⊆ B − {#} . Eingaben stehen auf Spur 0.
Satz
Von Mehr-Spur TM’n akzeptierte Sprachen sind semi-entscheidbar.
Beweis.
Mit B ′ := B n , # ′ := 〈 # : i < n 〉 und Σ ′ := Σ × {#} n−1 ∼ = Σ erhält
man eine konventionelle TM.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 22 / 215