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

3. Turingmaschinen 3.0 Vorüberlegung
Im Gegensatz zu Kellerautomaten fällt die fehlende Abhängigkeit der
Übergangsrelation von den Elementen des Alphabets Σ auf. In der Tat
dient Σ einzig zur Bestimmung der erlaubten Eingaben.
Bei der informellen Betrachtung hatten wir gefordert, die Eingabe w ∈ Σ ∗
solle vor Beginn der Berechnung auf dem Band stehen. Die Analogie zu
Kellerautomaten kann wie folgt bewahrt werden: die Übergangsrelationen
δ(a) , a ∈ Σ , dienen allein dazu, die externe(!) Eingabe auf das Band zu
schreiben. Alle eigentlichen Berechnungsschritte erfolgen dann spontan,
zweckmäßigerweise vom rechten(!) Rand der Eingabe ausgehend (aber
andere Konventionen sind genauso verbreitet).
Strenggenommen kann man auf die Forderung Σ ⊆ B − {#} und damit
die “Internalisierbarkeit” der Eingaben verzichten (auch eine Konvention),
aber dafür nicht-triviale Übergangsrelationen δ(a) , a ∈ Σ , zulassen.
Diesen Gedanken werden wir aber hier nicht weiterverfolgen.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 15 / 215