Abstrakte Programme

A function f is tail-recursive, if it can be defined as :

{ x = M }

while not P(x) do { f(x) = f(M) }

x := r(x) ;

x := g(x)

{ x = f(M) }

NPPV liefert :

Remains to prove :

P(x) Þ f(x) = g(x)

not P(x) Þ f(x) = f(r(x))

Ein iteratives Programm- schema um f(x) zu berechnen ist angeblich :

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen