9. Kapitel
9. Kapitel
9. Kapitel
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Primitiv rekursive und partiell rekursive Funktionen<br />
Primitiv rekursive Funktionen<br />
Primitiv rekursive Funktionen: Weitere Beispiele<br />
Die folgenden Funktionen sind ebenfalls primitiv rekursiv:<br />
Die Vorgängerfunktion V : N → N ist definiert durch<br />
⎧<br />
⎨ 0 falls x = 0<br />
V(x) =<br />
⎩ x − 1 falls x ≥ 1.<br />
Die modifizierte Differenz md : N 2 → N ist definiert durch<br />
⎧<br />
⎨ 0 falls x < y<br />
md(x, y) = x ˙−y =<br />
⎩ x − y falls x ≥ y.<br />
J. Rothe (HHU Düsseldorf) Informatik IV 12 / 42