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.
Terminierung (Definition und Spezielles)
-
Reicht es, wenn nach der Definition der Terminierung gefragt ist, die allgemeine Terminierungsfunktion anzugeben?
-
Beispiel expt:
| 1 n=0 oder k=0
expt (k,n) = {
| k * expt (k,n-1) sonst| 0 n=0 oder k=0
t(k,n) = {
| reicht es hier jetzt, wenn n dasteht, oder muss
man k mit einbeziehen zB k+n?
Weil eigentlich ist n absteigend und im Definitionsbereich, soweit ich des verstanden hab.
Ah, schön, dass alles so dargestellt wird, wie ichs eingegeben hab.
Denkt euch 2 Tabs vor den Zeilen, die direkt über und unter expt(k,n) und t(k,n) stehen…
edit by yves
mit kannst du leerzeichen erzwingen 
Ich denke, in diesem Fall sollte “n” reichen.
Eine Terminierungsfunktion muß im wesentlichen zwei Eigenschaften erfüllen:
-
Sie muß für alle Eingaben, für die die betrachtete Funktion terminiert (und nur für diese), 0 liefern.
-
Sie muß in jedem Rekursionsschritt streng monoton fallend sein.
cool, diese frage hatte ich auch und in einem anderen thread gestellt! tja, erstmal schauen vorm fragen!
aber es fehlt bei dir noch ein 3.:
die terminierungsfunktion muss die ursprungsfunktion irgendwie beschreiben, sonst koennte man ja immer dieselbe (und damit irgendeine) funktion hinschreiben.
die 1. frage vom dawell wuerde mich aber auch interessieren, was wollen die bei der definition wissen?