9. Kapitel
9. Kapitel
9. Kapitel
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Primitiv rekursive und partiell rekursive Funktionen<br />
Primitiv rekursive Funktionen<br />
Primitiv rekursive Funktionen: Fakultätsfunktion<br />
Beispiel: Die Fakultätfunktion fa : N → N ist definiert durch<br />
⎧<br />
⎨ 1 falls x = 0<br />
fa(x) =<br />
⎩ 1 · 2 · ... · x falls x ≥ 1.<br />
Diese Funktion ist primitiv rekursiv. Im Normalschema der primitiven<br />
Rekursion lässt sie sich so beschreiben:<br />
fa(0) = 1<br />
fa(n + 1) = mult(fa(n), s(n))<br />
= mult(id 2 2 (n, fa(n)), s(id2 1 (n, fa(n))))<br />
J. Rothe (HHU Düsseldorf) Informatik IV 10 / 42