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

3. Turingmaschinen 3.0 Vorüberlegung
3.0.0 Turingmaschinen formal
Wir werden verschiedene Varianten von Turingmaschinen kennenlernen, die
sich letztendlich alle gegenseitig simulieren können. Zunächst beginnen wir
mit zwei Basismodellen. Diese unterscheiden sich darin, ob der Kopf pro
Schritt nur zu einer Aktion (Schreiben bzw. Bewegen), oder zu beiden
Aktionen fähig ist, sind ansonsten aber äquivalent.
Bei den Varianten kann man die Form des Bandes ändern (einseitig
unendlich statt beidseitig unendlich), die Anzahl der Spuren auf dem
Band, oder gar die Anzahl der Bänder und Köpfe. Insbesondere
Turingmaschinen mit mehreren Bändern und Köpfen erlauben eine
einfachere Umsetzung konkreter Algorithmen.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 12 / 215