Rekursive und primitiv-rekursive Funktionen



Ähnliche Dokumente
Stetige Funktionen. Definition. Seien (X, d) und (Y, ϱ) metrische Räume und f : X Y eine Abbildung. D(f) X sei der Definitionsbereich von f.

Typen von Programmiersprachen

1.3 Primitiv rekursive und µ-rekursive Funktionen

Theorie der Informatik Einleitung. Theorie der Informatik Basisfunktionen und Einsetzung Primitive Rekursion. 14.

Seminar über mathematische Logik Der Repräsentationssatz

6. Rekursive und primitiv rekursive Funktionen. Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen

ALP I Rekursive Funktionen

Primitiv rekursive Funktionen

Repräsentierbarkeit arithmetischer Prädikate

Wissenschaftliches Arbeiten Quantitative Methoden

Einführung in die Theoretische Informatik

GTI. Hannes Diener. 18. Juni. ENC B-0123,

Ringe. Kapitel Einheiten

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund

7 Der kleine Satz von Fermat

Grundlagen der Mathematik

3 Reihen. 3.1 Konvergenz und Divergenz. Die Eindeutigkeit nach Satz 13 ergibt schließlich (5). (6) folgt aus (2) und (1) wegen. 1 a +log ba.

Kapitel 4. Reihen 4.1. Definition und Beispiele

Primitiv rekursive und µ-rekursive Funktionen

σ-algebren, Definition des Maßraums

Theoretische Informatik II

1 Der Ring der ganzen Zahlen

GTI. µ-rekursive Funktionen. Hannes Diener. 20. Juni 2. Juli. ENC B-0123,

Mathematisches Institut II Universität Karlsruhe Priv.-Doz. Dr. N. Grinberg

Existenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen.

Normalformen boolescher Funktionen

Rekursive und primitiv rekursive Funktionen. Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen

Formale Methoden 1. Gerhard Jäger 7. November Uni Bielefeld, WS 2007/2008 1/18

Analysis für Informatiker

02. Vektorräume und Untervektorräume

Referat rekursive Mengen vs. rekursiv-aufzählbare Mengen

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16

Kapitel II. Vektoren und Matrizen

Injektiv, Surjektiv, Bijektiv

8. Rekursive und primitiv rekursive Funktionen

Im gesamten Kapitel sei Ω eine nichtleere Menge. Wir bezeichnen die Potenzmenge

Stetige Funktionen. Definition. Seien (X, d) und (Y, D) metrische Räume und f : X Y eine Abbildung. i) f heißt stetig in x 0 (x 0 D(f)), wenn

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen

5 Grundlagen der Zahlentheorie

Kapitel 4. Kapitel 4 Restklassen (die modulo-rechnung)

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Kapitel III Ringe und Körper

4 Einige Grundstrukturen. Themen: Abbildungen und Relationen Gruppen Die natürlichen Zahlen Körper

Induktive Definitionen

Logik und Beweisbarkeit

Lösungen zur Übungsserie 1

3.4 Algebraische Strukturen

2. Imperative Programmierung und Berechenbarkeit - Registermaschinen -

13 Auswahlaxiom und Zornsches Lemma

Theoretische Informatik

Übungen zur Vorlesung Differential und Integralrechnung I Lösungsvorschlag

3 Werkzeuge der Mathematik

Inhalt der Vorlesung Elemente der Algebra und Zahlentheorie Prof. Dr. Arno Fehm TU Dresden SS Grundlegende Definitionen (Wiederholung)

Induktive Definitionen

Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kap. 4: Zahlentheorie

1 Der Ring der ganzen Zahlen

Kap 1: VEKTORRÄUME. (c) (λµ) v = λ (µ v) (b) λ (v + w) = (λ v) + (λ w) (d) 1 v = v

GOTO simuliert Turingmaschinen

Nachklausur zur Vorlesung Einführung in die Theoretische Informatik

Lineare Algebra I 5. Tutorium Die Restklassenringe /n

KAPITEL 1: ENDLICHE KÖRPER 1 ALLGEMEINES 2 GLEICHUNGEN ÜBER EINEM ENDLICHEN KÖRPER

Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule

Primitive Rekursion. Basisfunktionen: Konstante Funktion: const 3 3 (1,1, pr 1,3(g,h) (1,1)) Projektion: proj 3 (1,1, pr. Komposition: comp 3,2

Rekursive Funktionen Basisfunktionen

2 Rationale und reelle Zahlen

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Kapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler

4. ggt und kgv. Chr.Nelius: Zahlentheorie (SS 2007) 9

3 Primzahlen. j,... stets Primzahlen. 3.1 Satz. Jedes a > 1 ist als Produkt von Primzahlen darstellbar (Primfaktorzerlegung. n=1

Primitiv rekursive und µ-rekursive Funktionen

Formale Grundlagen 2008W. Vorlesung im 2008S Institut für Algebra Johannes Kepler Universität Linz

Das Banach-Tarski-Paradox

Analysis I - Stetige Funktionen

Grundbegriffe der Mathematik - Blatt 1, bis zum

Mengenlehre und vollständige Induktion

Grundlegendes der Mathematik

2 Mengen, Abbildungen und Relationen

Seminar Kommutative Algebra und Varietäten Vortrag 1: Ideale kommutativer Ringe

b liegt zwischen a und c.

2 Teilbarkeit in Z. (a) Aus a b folgt a b und a b und a b und a b. (b) Aus a b und b c folgt a c.

16. Differentialquotient, Mittelwertsatz

Kapitel 1. Grundlagen Mengen

Abbildungseigenschaften

Transkript:

Rekursive und primitiv-rekursive Funktionen Patrik Lengacher 02. Mai 2012 Dieses Handout richtet sich nach Kapitel 6.1 in [R]. Grundsätzlich wird dieselbe Notation wie in den vorhergehenden Vorträgen verwendet. Im Folgenden bezeichnen nebst k, l, m, n auch a, b jeweils natürliche nichtnegative Zahlen. Weiter bezeichnet N die Menge der nichtnegativen Zahlen. Die Menge aller n-stelligen Funktionen mit Argumenten aus N n und Werten aus N werde mit F n bezeichnet. Die Menge F 0 bezeichnet alle Konstanten, d.h. F 0 = N. Sind h Fm und g 1,..., g m F n, so heisse f : a h(g 1 a,..., g m a) die durch Komposition aus h und g i entstehende Funktion, kurz f = h[g 1,..., g m ]. Die Stellenzahl von f ist n. Analog sei P [g 1,..., g m ] für P N m das m-stellige Prädikat a N m P (g 1 a,..., g m a)}. Intuitiv gesprochen ist f F n berechenbar, wenn es einen Algorithmus gibt, der zu jedem a N n den Wert f a in endlich vielen Schritten berechnet. Als Beispiele können Summen und Produkte betrachtet werden. Es gibt überabzählbar viele einstellige Funktionen über N; davon können aber wegen der Endlichkeit einer jeden Berechnungsvorschrift nur abzählbar viele berechenbar sein. Die im intuitiven Sinne berechenbaren Funktionen mit Argumenten und Werten aus N haben ganz offensichtlich die Eigenschaften Oc: Mit h F m und g 1,..., g m F n ist auch f = h[g 1,..., g m ] berechenbar. Op: Sind g F n und h F n+2 berechenbar, so auch f F n+1, bestimmt durch f( a, 0) = g a und f( a, Sb) = h( a, b, f( a, b)), die sogenannten Rekursionsgleichungen. Weiter heisst f die aus g, h durch primitive Rekursion entstehende Funktion und werde auch als f = Op(g, h) notiert. Definition 1. Sei g F n+1 und es gilt a bg( a, b) = 0, so bezeichnet µ b [g( a, b) = 0] das kleinste b mit g( a, b) = 0. Oµ: Ist g F n+1 und gilt a bg( a, b) = 0, so ist auch µ b [g( a, b) = 0] berechenbar. Die Eigenschaften Oc,Op und Oµ können als Erzeugungsoperationen zur Gewinnung neuer Funktionen gesehen werden. 1

Definition 2. Die Menge der primitiv-rekursiven (p.r.) Funktionen bestehe aus allen Funktionen über N, die sich mittels Oc und Op erzeugen lassen aus folgenden Anfangsfunktionen bzw. Basisfunktionen: die Konstante 0, die Nachfolgerfunktion S : N N, a a + 1, die Projektionsfunktion I n ν F n, (a 1,... a n ) a ν, 1 ν n. Definition 3. Die Menge der p.r. rekursiven Funktionen zusammen mit der Operation Oµ erhält man die Menge aller rekursiven Funktionen, auch µ-rekursiven Funktionen genannt. Bemerkung 4. Man erkennt, dass die p.r. Funktionen mit einem im Prinzip abschätzbarem Aufwand berechenbar sind. Während die Existenzbedingung a mp ( a, m) der rekursiven Funktionen nicht konstruktiv sein kann, so dass selbst grobe Abschätzungen über den Berechnungsaufwand unmöglich sind. Beispiel 5. Ein berühmtes Beispiel für eine rekursive aber nicht p.r. Funktion, ist die Ackermann-Funktion F 2 definiert durch 0 b = Sb ; Sa 0 = a 1 ; Sa Sb = a (Sa b) Für den Beweis wird auf [F] verwiesen. Bemerkung 6. Man sieht leicht, dass mit jeder Funktion f auch jede Funktion p.r. bzw. rekursiv ist, die aus f durch Vertauschung, Hinzufügen von fiktiven Argumenten oder Gleichsetzung hervorgeht. Hierbei geht h : N N aus f : N 2 N durch Gleichsetzung hervor, falls h := f[i 1 1, I1 1 ] gilt. Beweis. Sei f F 2. Für g := f[i 2 2, I2 1 ] ist dann g(a, b) = f(b, a). Für h := f[i1 1, I1 1 ] ist ha = f(a, a), und für f := f[i 3 1, I3 2 ] ist f (a, b, c) = f(a, b), wobei hier die fiktive Variable c hinzugefügt wurde. Analog für höherstellige Funktionen. Beispiel 7. Sei S 0 = I 1 1 und Sk+1 = S[S k ], so offenbar S k : N N a a + k. Diese einstelligen Funktionen sind nach Oc alle p.r. Fakt 8. Die n-stelligen konstanten Funktionen sind primitiv rekursiv. K n c : N N a c Beweis. Mit Op sieht man leicht dass, K 0 0 = 0, K0 c = S c [0], sowie K 1 c 0 = K 0 c = c und K 1 c Sb = I 2 2 (b, K1 c b). Für n > 1 hat man K n c = K 1 c [I n 1 ]. Fakt 9. Die Additionsfunktion f : N 2 N definiert durch g(x, y) = x + y ist p.r. 2

Beweis. Sei g(y) := I 1 1 (y) = y und hh(x, y, z) := S(I3 3 (x, y, z))(= S(z)). Da h 1 eine Basisfunktion ist, ist sie auch primitiv rekursiv. Analog ist h eine Komposition von Basisfunktionen, also auch primitiv rekursiv. Nun definieren wir f(x, y) durch primitive Funktionen mittels Op: Folglich ist auch f(x, y) p.r. f(0, y) = g(y) = y und f(x + 1, y) = h(x, y, g(x, y)) = S(f(x, y)) = f(x, y) + 1. Fakt 10. Die Multiplikationsfunktion f : N 2 N definiert durch f(x, y) = x y ist p.r. Beweis. Durch a 0 = h(a, 0) = K0 1a = 0 sowie f(a, Sb) = a Sb = a b + a = I3 3 (a, b, a b) + I1 3 (a, b, a b) gewinnt man die Multiplikation, i.e. durch Anwendung von Op, Oc und Fakt 9. Fakt 11. Die gestutzte Subtraktion definiert durch a a b,falls b a b = 0,sonst ist primitiv rekursiv. Insbesondere ist auch die absolute Differenz primitiv rekursiv, denn a b = (a. b) + (b. a). Beweis. Die Vorgängerfunktion R definiert durch R0 := 0 ; R(Sb) := I 2 1(b, Rb) = b ist primitiv rekursiv. Mit den Rekursionsgleichungen schreibt man a. 0 = I 1 1(a) = a und a. Sb = R(a. b) = RI 3 3(a, b, a. b). Fakt 12. Mit f F n+1 ist auch ( a, b) k<b f( a, k) primitiv rekursiv, definiert durch f( a, k) = 1 k<sb k<0 f( a, k) = f( a, k) f( a, b). k<b Ebenso ist ( a, b) k<b f( a, k) primitiv rekursiv, definiert durch f( a, k) = 0 k<0 f( a, k) = f( a, k) + f( a, b). k<b k<sb 3

Definition 13. Die δ-funktion wird definiert durch δ0 = 1 und δsn = 0. Weiter wird die sg-funktion definiert durch sg 0 = 0, und sg Sn = 1. Nach Definition sind beide Funktionen primitiv rekursiv. Definition 14. Ein Prädikat P N n heisst p.r. bzw. rekursiv, wenn die charakteristischte Funktion 1, a P X P : a 0, sonst p.r. bzw. rekursiv ist. Fakt 15. Das Prädikat = ist p.r. Jede endliche Teilmenge ist p.r. Das Prädikat ist p.r. Beweis. Das Prädikat = kann man mittels Identitätsrealtion schreiben als X = (a, b) = δ a b und ist folglich primitiv rekursiv. Das wiederum impliziert, dass jede endliche Teilmenge E = a 1,..., a n } von N, wobei, a i paarweise verschieden sind, ist primitiv rekursiv. Denn X = K 1 0 und X E(a) = X = (a, a 1 ) + + X = (a, a n ) für E. Das Prädikat ist prmitiv rekursiv, weil X (a, b) = sg a b. Die δ-funktion ergibt die Abgeschlossenheit der p.r. bzw. rekursiven Funktionen gegenüber Definition durch p.r. (bzw. rekursive) Fallunterscheidung: Lemma 16. [Fallunterscheidung] Mit P, g, g ist auch h p.r. (bzw. rekursiv), definiert durch h a = g a X P ( a) + g a δ(x P ( a)), d.h. g a, falls P a, h a = g a, falls P a. Beispiel 17. Der Divisionsrest von a b wird definiert durch rest(0, b) := 0,. S rest(a, b) für rest(a, b) < b 1 rest(sa, b) := rest(sa, b) = 0 sonst. Es bleibt zu zeigen, dass rest p.r. ist. Sei h(a, b, c) = Sc, falls c < b. 1 und h(a, b, c) = 0 sonst, ist nach Lemma 16 primitiv rekursiv. Wir können nun rest mit h und den Rekursionsgleichungen schreiben als rest(sa, b) = h(a, b, rest(a, b)). Von grundlegender Bedeutung, speziell für die Gewinnung von Unentscheidbarkeitsresultaten, ist die Hypothese, dass die rekursiven Funktionen alle irgendwie berechenbaren Funktionen über N bereits ausschöpfen, die sogenannte Churchsche These. Der Definition der rekursiven Funktionen ist dies kaum anzusehen, aber alle auf unterschiedliche Weise definierten Berechenbarkeitskonzepte erwiesen sich als äquivalent und stützen die These. Nun kommen wir zu einer Zusammenstellung beweisbarer Grundfakten über primitiv und µ-rekursive Prädikate. P, Q, R bezeichnen jetzt aussschliesslich Prädikate über N n. Um die formale Niederschrift von Eigenschaften solcher Prädikate zu erleichtern, benutzen wir weitere metasprachliche Abkürzungen wie und. 4

Definition 18. Man sagt P N n+1 gehe aus P N n durch Hinzufügung von fiktiven Argumenten hervor, falls P = (p 1,..., p n+1 ) (p 1,..., p n ) P }. Lemma 19. Die Menge der p.r. bzw. rekursiven Prädikate ist abgeschlossen gegenüber Komplementbildung, Vereinigung, und Durchschnitt von Prädikaten derselben Stellenzahl. Weiter ist diese Menge abgeschlossen gegenüber Einsetzung p.r. bzw. rekursiver Funktionen sowie gegenüber Gleichsetzung, Vertauschung und Hinzufügung von fiktiven Argumenten. Beweis. Für P N n ist δ[x P ] gerade die charakteristische Funktion von P = N n \ P ; ferner ist offenbar X P Q = sg[x P + X Q ], X P Q = X P X Q und X P [g1,...,g m] = X P [g 1,..., g m ]. Die übrigen Abgeschlossenheitseigenschaften folgen einfach aus den entsprechenden Eigenschaften der charakteristischen Funktionen und Bemerkung 6. Definition 20. Seien P, Q, N n+1. Ist Q( a, b) ( k < b)p ( a, k) R( a, b) ( k < b)p ( a, k) Q ( a, b) ( k b)p ( a, k) und R ( a, b) ( k b)p ( a, k) sagt man Q, R, Q, R entstünden aus P durch beschränkte Quantifizierung. Bemerkung 21. Die Menge der p.r. bzw. rekursiven Funktionen ist abgeschlossen bezüglich beschränkter Quantifizierung. Mit P p.r. sind alle diese Prädikate p.r. So ist X Q ( a, b) = k<b X P ( a, k) und X R ( a, b) = sg( k<b X P ( a, k)) sowie X Q ( a, b) = k<sb X P ( a, k) und X R ( a, b) = sg( k<sb X P ( a, k)). Fakt 22. Das Prädikat a teilt b kurz a b ist p.r. Beweis. Das Prädikat a b schreibt man mittels beschränkter Quantifizierung als a b ( k b)[a k = b]. Beispiel 23. Das Prädikat prim ist p.r, da prim p p 0, 1&( k < p)[k p k = 1] p.r., denn a p a = 1 ist gleichwertig zu a p a = 1 und als Vereinigung p.r. Prädikate wieder p.r. Wir wollen abschliessend den Unterschied zwischen den p.r. und rekursiven Funktionen etwas deutlicher machen. Fakt 24. Erfülle P N n+1 die Bedingung a mp ( a, m). Sei µ k [P ( a, k)] die Funktion N n N, welche a das kleinste k mit P ( a, k) zuordnet. Dann mit Oµ ist auch µ k [δx P ( a, k) = 0]; rekursiv, in der Regel aber nicht p.r. Andererseits können wir die beschränkten µ-operationen betrachten. µ k m [P ( a, k)] = kleinstes k m mit P ( a, k), falls ein solches k existiert, m sonst, d.h. P ( a, k) für alle k m Lemma 25. Mit P ist auch µ k m [P ( a, k)] primitiv rekursiv. 5

Beweis. Schreibe f := µ k m [P ( a, k)]. So ist f( a, 0) = 0, sowie f( a, Sm) = f( a, m) falls ( k m)p ( a, k), und sonst ist f( a, Sm) = Sm. In der normierten Notation f = Op(g, h) bedeutet dies wie bei rest eine p.r. Fallunterscheidung in der Definition von h. Also ist f p.r. Beispiel 26. Ist p eine Primzahl, so ist p! + 1 gewiss durch keine Primzahl q p teilbar; denn q p! + 1 und q p! liefern den Widerspruch q 1. Ein Primteiler von p! + 1 ist also eine neue Primzahl. Daher ist die kleinste auf p folgende Primzahl p! + 1. Also ist n p m wohldefiniert und charakterisiert durch p 0 = 2 ; p n+1 = µ q pn!+1[q prim &q > p n ] (1) Die Gleichung (1) ist eine Anwendung von Op. Denn mit f : (a, b) µ q b [q prim &q > a] ist auch g : a f(a, a! + 1) p.r. und die zweite Gleichung in (1) lässt sich einfach schreiben als p n+1 = g(p n ). Folglich ist die Primzahlaufzählung n p n p.r. Literatur [R] W. Rautenberg, Einführung in die Mathematisch Logik, Vieweg-Teubner, 2008 [F] W. Felscher, Berechenbarkeit, Springer, 1993 6