Wand's Beispiel

R(x) Þ I(x)

I(x) Þ I(f(x))

I(x) Þ Ø Z1(n)

{ R(x) }

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

do { I(x) }

x := f(x)

{ Z0(x) }

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen