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: NS Primitive Rekursion<br />
Definition (Fortsetzung)<br />
(2b) Normalschema der primitiven Rekursion:<br />
Sind die Funktionen g und h in IPr, wobei g : N m → N und<br />
h : N m+2 → N für m ∈ N, so ist auch die Funktion f : N m+1 → N in IPr,<br />
die rekursiv definiert ist durch<br />
f(0, x 1 , x 2 ,... , x m ) = g(x 1 , x 2 ,... , x m )<br />
f(n + 1, x 1 , x 2 ,... , x m ) = h(n, f(n, x 1 , x 2 ,...,x m ), x 1 , x 2 ,... , x m ).<br />
Dabei ist<br />
n die Rekursionsvariable, und<br />
die x 1 , x 2 ,...,x m heißen Parameter.<br />
J. Rothe (HHU Düsseldorf) Informatik IV 4 / 42