Ausdrucksfähigkeit der Alg.-Modelle

Weitere Magazine

Empfehlungen

Info

$LaTeX-Kurs SS11 - Handzettel 1$

$LaTeX-Kurs SS11 - Handzettel 2$

Post’sches Korrespondenzproblem: Bsp. 1 Eingabelisten: A = {0, 1} α = (1, 10111, 10) β = (111, 10, 0) Dieses Post’sche Korrespondenzproblem besitzt eine Lösung, die Korrespondenz (2,1,1,3): 10111 . 1 . 1 . 10 = 10 . 111 . 111 . 0 262
Post’sches Korrespondenzproblem: Bsp. 2 (1) Post’sches Korrespondenzproblem: A = {0, 1} keine Lösung! α = (10, 011, 101) β = (101, 11, 011) 263
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 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: Post’sches Korrespondenzproblem

Ausdrucksfähigkeit der Alg.-Modelle

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?