Wand's Beispiel

{ R(x) }

while not(Z0(x) or Z1(x))

do

x := f(x)

{ Z0(x) }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen