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 />
Allgemein und partiell rekursive Funktionen<br />
Ganzzahlige Division ist partiell rekursiv<br />
Wir wenden nun den µ-Operator auf f an und erhalten:<br />
µx[f(x, y, z)] =<br />
=<br />
=<br />
⎧<br />
⎪⎨<br />
das kleinste x ∈ N mit f(x, y, z) = 0<br />
falls es existiert<br />
⎪⎩<br />
undefiniert<br />
sonst<br />
⎧<br />
⎪⎨ das kleinste x ∈ N mit x · y = z (y ≠ 0) falls es existiert<br />
⎪⎩<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
undefiniert<br />
z<br />
y<br />
= g(y, z)<br />
undefiniert<br />
falls y ≠ 0 und y teilt z<br />
sonst<br />
sonst<br />
J. Rothe (HHU Düsseldorf) Informatik IV 36 / 42