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

4. Church-Turing-These 4.1 RAM
4.1.0 Befehlssatz einer RAM
Befehl
Wirkung
READ 〈R 0 〉 := 〈read〉, 〈BZ〉 := 〈BZ〉 + 1
der Lesekopf bewegt sich ein Feld nach rechts
WRITE der Schreibkopf schreibt 〈R 0 〉 und bewegt sich ein Feld nach rechts, 〈BZ〉 := 〈BZ〉 + 1
LOAD i 〈R 0 〉 := 〈R i 〉 und 〈BZ〉 := 〈BZ〉 + 1
STORE i 〈R i 〉 := 〈R 0 〉 und 〈BZ〉 := 〈BZ〉 + 1
ADD i 〈R 0 〉 := 〈R i 〉 + 〈R 0 〉 und 〈BZ〉 := 〈BZ〉 + 1
PRED 〈R 0 〉 := pred〈R 0 〉 1 und 〈BZ〉 := 〈BZ〉 + 1
GOTO m
〈〈BZ〉 :=
{
m
m falls 〈R
IF R i = 0 GOTO m 〈BZ〉 :=
i 〉 = 0
〈BZ〉 + 1 sonst
{
m falls 〈R
IF R i > 0 GOTO m 〈BZ〉 :=
i 〉 > 0
〈BZ〉 + 1 sonst
STOP
Maschine hält
Weiter kann man für LOAD , STORE und ADD das Argument i statt als
Zählindex für Register R i auch zur indirekte Adressierung des Registers
R 〈Ri 〉 oder als Konstante i ∈ N verwenden. Dies wird durch einen Asterisk
∗ bzw. ein Ausrufezeichen ! vor dem i angezeigt.
1 mit pred(n + 1) = n und pred0 = 0
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 50 / 215