ist der letzte abschnitt nicht falsch? Ein jedes WHILE-Programm WHILE xi != 0 DO P END kann durch das folgende GOTO-Programm simuliert werden M1: IF x1 = 0 THEN GOTO M2; P; x1:= x1-1; GOTO M1; M2: ... sollte aus dem gotoprogramm nicht das x:= x1-1; gelöscht werden?