Abstrakte Programme

{ x = M }

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

x := r(x) ;

x := g(x)

{ x = f(M) }

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

Funktion f ist tail-recursiv, wenn es

definierbar ist als :

Invariante

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen