anscheinend mal wieder… Die Suchergebnisse haben mir leider nicht geholfen.

Ich sehe nicht, wie der Fixpunktsatz bei dem Whileschleifenproblem (nach Reynolds): "Because of the presence of 'while b do c' on the right, it does not describe the meaning of the while-command purely in terms of the meanings of its subphrases b and c. As a consequence we have no guarantee that the meaning is uniquely determined by this equation" hilft. Im Script is das ganze auf Seite 16: "Die Lösung hat folgende Nachteile"

das ist so gemeint: in der naiven Definition für die while-schleife tritt [while b do c] auf der rechten Seite ja wieder auf. Das ist aber nicht so dolle, führt nämlich dazu, dass es keine eindeutige Lösung gibt (schau dir das Beispiel im Skript an).
Der Fixpunktsatz garantiert uns, dass es immer eine Lösung gibt, und dass diese eindeutig ist (wir nehmen nämlich die kleinste).

ich hoffe das hilft, greetings chris