Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle Ausdrucksfähigkeit der Alg.-Modelle
Überblick Berechenbarkeit und Entscheidbarkeit Korrektheit von Algorithmen Komplexität 244
Berechenbarkeit und Entscheidbarkeit Frage: Gibt es Problemstellungen, für die kein Algorithmus zur Lösung existiert? Oder: Kann man alles berechnen bzw. programmieren? Berechenbarkeit: Eine Funktion f : N k → N heißt berechenbar, wenn es einen Algorithmus gibt, der für Eingaben (x 1 , …, x k ) ∈ N k terminiert, d.h. in endlicher Zeit f(x 1, …, x k) berechnet. Die Menge dieser Funktionen entspricht allen jemals mit Computern berechenbaren Funktionen (CHURCH’sche These) 245
- Seite 1 und 2: Ausdrucksfähigkeit der Alg.-Modell
- Seite 3 und 4: Universelle Algorithmenmodelle Ein
- Seite 5: Teil VI Eigenschaften von Algorithm
- Seite 9 und 10: Einschub: Abzählbarkeit (1) Eine
- Seite 11 und 12: Existenz nichtberechenbarer Funktio
- Seite 13 und 14: Konkrete nichtberechenbare Funktion
- 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:
Überblick<br />
Berechenbarkeit und Entscheidbarkeit<br />
Korrektheit von <strong>Alg</strong>orithmen<br />
Komplexität<br />
244