Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Terminierungsfunktion
Hallo, mir wird das aus den Vorlesungsfolien mit der Terminierungsfunktion fuer rekursive Funktionen nicht ganz klar…
Wenn ich zum Beispiel ein Parameter habe und das immer um 1 dekrementiert wird und der Basisfall bei x = 0 liegt, dann ist ja die Terminierungsfunktion T(x) = x fuer alle natuerlichen Zahlen, oder?
Wenn mein Basisfall jetzt zB bei x = 10 liegt, folgt dann daraus, dass die Terminierungsfunktion T(x) = x + 10 heissen wuerde, weil alles darunter nicht terminiert?
Und muesste ich dann bei zwei Funktionsparametern x und y auch zwei Terminierungsfunktionen T(x) und T(y) aufstellen?
Ganz neu, aber!
man kann auch funktionen mit 2 parametern definieren!
sieht dann beispielsweise so aus:
f(x, y) = x/2 + y*3
du willst ja nur EINE funktion angeben, die sich hinsichtlich der parameter genau so verhält wie die funkion, bei der du wissen möchtest ob sie terminiert
und ne terminierung ist offensichtlich nur gegeben wenn sie beschränkt ist