Ausdrucksfähigkeit der Alg.-Modelle

Weitere Magazine

Empfehlungen

Info

$LaTeX-Kurs SS11 - Handzettel 1$

$LaTeX-Kurs SS11 - Handzettel 2$

Konkrete nichtberechenbare Funktionen 2 Sei x ∈ A * : ein beliebiger Text. ϕ x : die vom Algorithmus mit Text x berechnete Funktion. x kein sinnvoller Algorithmentext → ϕ x überall undefiniert. Sei f : A * → A * eine partielle Funktion. Dann ist dom f := {x ∈ A * | f(x) ist definiert } der Urbildbereich von f (dom für „domain“). Die (totale) Funktion h : A * → A * , ⎧ε, falls x ∈ dom h( x) = ⎨ ⎩a sonst ist nicht berechenbar. ϕ x 252
Halteproblem Funktion h basiert auf einem unentscheidbaren Problem Kann man ein Programm entwickeln, das als Eingabe den Quelltext eines zweiten Programms sowie dessen Eingabewerte erhält und entscheiden kann, ob dieses zweite Programm terminiert? 253
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: Konkrete nichtberechenbare Funktion
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:

Ausdrucksfähigkeit der Alg.-Modelle

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?