Wer kann mir erklären, wie man mit einer Terminierungsfunktion überprüfen kann, ob eine Prozedur terminiert?
Z.B. sei dei Funktion
ripple (n, k) mit ripple (n, k) = (n * k)! falls n = 0 oder k = 0, sonst
ripple (n, k) = k * ripple (n - 1, k - 1)
gegeben.
Der erste Schritt der TF ist einfach:
t(n, k) = 0 für n = 0 oder k = 0
wie gehts weiter? und warum?
MfG
Bixby
