Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle Ausdrucksfähigkeit der Alg.-Modelle
Existenz nichtberechenbarer Funktionen (Beweisskizze) Cantor’sches Diagonalverfahren Menge der Algorithmentexte ist abzählbar (Zeichenketten) beweisbar: Menge der Funktionen ist überabzählbar Diagonalbeweis speziell einstellige Funktionen F auf Z, f : Z → Z Annahme: F sei abzählbar: F = {f 0 , f 1 , …} ist folgendes g in F enthalten? Widerspruch! g(x) = f abs(x) (x) + 1 g(0) = f 0 (0) + 1 g(1) = f 1 (1) + 1 g(2) = f 2 (2) + 1 g(-1) = f 1 (1) + 1 250
Konkrete nichtberechenbare Funktionen 1 Vorbemerkungen 1. Berechnet werden partielle Funktionen f:A * →A * über einem festen Alphabet A. 2. Auch die Algorithmen selbst lassen sich als Text über A darstellen. Alternative: Gödelisierung Kodierung von Algorithmentexten als Zahlen 251
- Seite 1 und 2: Ausdrucksfähigkeit der Alg.-Modell
- Seite 3 und 4: Universelle Algorithmenmodelle Ein
- Seite 5 und 6: Teil VI Eigenschaften von Algorithm
- Seite 7 und 8: Berechenbarkeit und Entscheidbarkei
- Seite 9 und 10: Einschub: Abzählbarkeit (1) Eine
- Seite 11: Existenz nichtberechenbarer Funktio
- Seite 15 und 16: Halteproblem Funktion h basiert au
- Seite 17 und 18: Veranschaulichung des Halteproblems
- Seite 19 und 20: Verhalten von SELTSAM Hält SELTSAM
- Seite 21 und 22: Formaler Beweis (2) Da g berechenb
- Seite 23 und 24: Post’sches Korrespondenzproblem
- Seite 25 und 26: Post’sches Korrespondenzproblem:
Konkrete nichtberechenbare Funktionen 1<br />
Vorbemerkungen<br />
1. Berechnet werden partielle Funktionen f:A * →A *<br />
über einem festen Alphabet A.<br />
2. Auch die <strong>Alg</strong>orithmen selbst lassen sich als<br />
Text über A darstellen.<br />
Alternative: Gödelisierung<br />
Kodierung von <strong>Alg</strong>orithmentexten als Zahlen<br />
251