Tipps (Hoare-Kalkül)

Aus Infostudium Wiki

Wenn es heißt: "Untersuchen Sie den Algorithmus P auf seine Terminierung." dann soll man untersuchen, wann z.B. die Schleife nicht terminiert. Das könnte noch zu machen sein.