Formale Beschreibung

Der Programmablauf kann formal, als eine ständige Abbildung der Konfiguration in eine Neue angesehen werden.

(b, c0, c1, ..., cn, ...) -> (b', c0', c1', ..., cn', ...)

Für die einzelnen Befehle gelten folgende Abbildungsvorschriften:

Ein- und Ausgabebefehle: Load, CLoad und Store
 
LOAD i b' = b + 1  c0' = ci cj' = cj für j > 0
CLOAD i  b' = b + 1 c0' = i  cj' = cj für j > 0
STORE i b' = b + 1 ci' = c0 cj' = cj für j <> i und j > 0

Arithmetische Befehle: Add, CAdd, Sub, CSub, Mult, CMult, Div und CDiv
 
ADD i b' = b + 1 c0' = c0 + ci cj' = cj für j > 0
CADD i b' = b + 1 c0' = c0 + i cj' = cj für j > 0
SUB i b' = b + 1 c0' = c0 - ci für c0 >= ci cj' = cj für j > 0
c0' = 0 sonst
CSUB i b' = b + 1 c0' = c0 - i für c0 >= i cj' = cj für j > 0
c0' = 0 sonst
MULT i b' = b + 1 c0' = c0 * ci cj' = cj für j > 0
CMULT i b' = b + 1 c0' = c0 * i cj' = cj für j > 0
DIV i b' = b + 1 c0' = c0 / ci für ci > 0 cj' = cj für j > 0
CDIV i b' = b + 1 c0' = c0 / i für i > 0 cj' = cj für j > 0

Sprungbefehle: Goto, If c0=0 Goto
 
GOTO i b' = i  cj' = cj für j >= 0
IF c0=0 GOTO i b' = i  für c0 = 0 cj' = cj für j >= 0
b' = b + 1  sonst

Stopbefehl: End
 
END b' = b  cj' = cj für j >= 0


zurück zur Einleitung


erstellt: April/Mai 2000 von: Rainer Habrecht, Lothar Schlesier