Skript in PDF - Theoretische Informatik - Technische Universität ...

4.1. RAM 101
2. READ
3. STORE ∗2
4. IF R0 = m GOTO 7
5. SUCC 2
6. GOTO 2
Teil 2 (in den gesprungen wird, falls die Eingabe m ist) beginnt damit, das der Kopf
nach links gestellt wird (:= 4) und der Zustand q0 (:= 0) ist.
Dann werden die einzelnen Zeilen der Übergangstabelle programmiert. In dem Fall,
dass kein Übergang existiert, wird zu Teil 3 (Ausgabe) gesprungen.
Teil 3 des Programms schreibt , , . . ., bis es auf die Zahl := m
(d.h. auf das Endsymbol @) stößt. Dann hält es:
Zeile Befehl
k LOAD !3
k + 1 STORE 4 [Am Anfang: = 3]
k + 2 LOAD 2
k + 3 WRITE
k + 4 SUCC 2
k + 5 IF R0 = m GOTO (k + 7)
k + 6 GOTO (k + 2)
k + 7 STOP
Beispiel 7. RAM-Simulation einer einfachen TM.
Die folgende TM realisiert die Funktion SUCC:
M = ({q0, q1}, {|, @}, δ, q0, q1)
mit den folgenden Übergängen
(1) (q0, |) → (q0, R)
(2) (q0, @) → (q1, |)
(3) (q1, |) → (q1, R)
(4) (q1, #) → (q1, @)
Die Simulation hat die drei oberen Teile, wobei Teil 2 wie folgt die vier Übergänge
simuliert:
Zeile Befehl Kommentar
7. LOAD !3
8. STORE 2 Initialposition des Kopfes (+ 3)
9. LOAD ∗2 n R0 steht das momentan gelesene Symbol
10. IF R1 = 0 GOTO a a-Übergänge (1), (2) (Zustand q0)
11. IF R0 = 1 GOTO b Hier Zustand q1, b-Übergang (3)
12. IF R0 = 0 GOTO c Hier Zustand q1, c-Übergang (4)
13. GOTO k Zustand q1, Symbol @-Sprung in den Teil 3
a = 14. IF R0 = 1 GOTO d d-Übergang (1)
15. IF R0 = 2 GOTO e e-Übergang (2)
d = 16. SUCC 2 Kopf nach rechts
GOTO 9
e = 17. LOAD !1 Statt @ = 2 wird | = 1 geschrieben
18. STORE ∗2
19. STORE 1 Zustand q1
20. GOTO 9.
b = 21. SUCC 2 Kopf nach rechts
22. GOTO 9.
c = 23. LOAD !2
24. STORE ∗2
25. GOTO k Also ist Zeile k = 26 der Anfang von Teil 3