Bsp: Operationale Semantik

Schleife

while (B) A

wird übersetzt in Sprungbefehle

   if (B) ...
(vervollständige!)

Aufgabe: übersetze for(A; B; C) D in while!



2010-02-04