1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
1.3 Primitiv rekursive und μ-rekursive Funktionen - Universität Kassel
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Kapitel 1: Berechenbarkeitstheorie<strong>1.3</strong> <strong>Primitiv</strong> <strong>rekursive</strong> <strong>und</strong> µ-<strong>rekursive</strong> <strong>Funktionen</strong>(6.) ( )n2 =n(n−1)2:( 0(2)= 0,n+1) (2 = n)2 + n(7.) c : N 2 → N : c(x, y) = ( x+y+1) (2 + x = add( s(add(x,y))),Π21(x, y))❅ ❅xy01 2 3 4 5200 2 5 914 201 1 4 813 19 262 3 712 18 25 333 611 17 24 32 414510 16 23 31 40 5015 22 30 39 49 60c ist Bijektion von N 2 auf N.Prof. Dr. F. Otto (<strong>Universität</strong> <strong>Kassel</strong>) Berechenbarkeit <strong>und</strong> Formale Sprachen 49 / 309
Change language