Vorlesung 12 Grüning

Aus ProgrammingWiki

Archivierte Version vom 2021-06-19T13:09:03+00:00. Aktuelle Version

LoopWhileGoto Compiler

Loop:

- Wobei dabei das "LOOP xz" nur mit "WHILE xz != 0" erstetzt wird. Das ergibt validen WHILE-Code, jdeoch wird die Semantik höchst wahrscheinlich verfälscht.

x0 := x4 + 1;
LOOP x2 DO x0 := x4 + 1 END;
x0 := x4 + 1;
LOOP x2 DO LOOP x2 DO x0 := x4 + 1 END END

While:

- \neq wird als "!=" dargestellt

x0 := x4 + 1 ;
WHILE x2 != 0 DO x0 := x4 + 1 END ;
x0 := x4 + 1 ;
WHILE x2 != 0 DO x0 := x4 + 4; WHILE x2 != 0 DO x0 := x4 + 1 END END

Goto:

- Um geparst zu werden muss auf jeder Zeile des GOTO-Programms eine Marke stehen.

- GOTO-Programm muss in der Form: M1: A1; M2: A2; ... ; Mk: Ak vorliegen um semantisch richtig kompiliert zu werden.

- xz > k müsste noch implementiert werden

M1: IF x1 = 0 THEN GOTO M2;
M3: x0 := x0 + 0;
M2: GOTO M1;
M4: x0 := x0 + 1

Vorlesung 12 Grüning

Suche