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

4. Church-Turing-These 4.1 RAM
4.1.2 Simulation einer TM durch eine RAM
Die Zustandsmenge wird durchnummeriert: Q = { q i : i < n }
Das Bandalphabet B wird durchnummeriert: B = { s i : i < m } mit
s 0 = # .
Die Bandzellen werden durchnummeriert, mit 0 für die Kopfposition
in der Initialkonfiguration, ungerade Zahlen nach rechts, gerade
Zahlen nach links.
Die Übergangstabelle 〈q i , s j 〉 ↦→ 〈q r , A t 〉 wird programmiert.
Neben dem Akkumulator R 0 seien R 1 für den Zustandsindex und R 2 für
die Kopfposition reserviert, während R 3+i für den Inhalt von Zelle i
zuständig ist.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 53 / 215