Einige entscheidbare bzw. rekursiv aufzählbare Sprachen HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Entscheidbare Sprachen Gödel States ist Gödelnummer einer DTM M} besitzt mindestens d Zustände} Friedhelm Meyer auf der Heide 1 Einige entscheidbare bzw. rekursiv aufzählbare Sprachen HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Rekursiv aufzählbare Sprachen Akzeptanzproblem: Halteproblem: Useful: „Nicht-Leer“ - keine dieser Sprachen ist entscheidbar ! - Friedhelm Meyer auf der Heide 2 HEINZ NIXDORF INSTITUT Eine nicht rekursiv aufzählbare Sprache Universität Paderborn Algorithmen und Komplexität Wir fassen Gödelnummern als Zahlen auf. Sei die DTM, die jede Eingabe sofort ablehnt. Satz: Diag Diagonalisierung Friedhelm Meyer auf der Heide 3 HEINZ NIXDORF INSTITUT Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen Universität Paderborn Algorithmen und Komplexität Abschlusseigenschaften für entscheidbare Sprachen: Satz: Seien L1, L2 entscheidbar. (i) (ii) (iii) ist entscheidbar. ist entscheidbar. ist entscheidbar. „Die Klasse der entscheidbaren Sprachen ist abgeschlossen gegenüber Komplement, Durchschnitt und Vereinigung“ Friedhelm Meyer auf der Heide 4 Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Abschlusseigenschaften für rekursiv aufzählbare Sprachen: Satz: Seien L1 und L2 rekursiv aufzählbar. (i) L1 [ L2 ist rekursiv aufzählbar (ii) L1 Å L2 ist rekursiv aufzählbar !! Die Klasse der rekursiv aufzählbaren Sprachen ist nicht abgeschlossen gegenüber Komplement !! Bew: Diag ist nicht rekursiv aufzählbar, aber das Komplement von Diag ist rekursiv aufzählbar. Friedhelm Meyer auf der Heide 5 HEINZ NIXDORF INSTITUT Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen Universität Paderborn Algorithmen und Komplexität Satz: L ist entscheidbar genau dann, wenn L und rekursiv aufzählbar sind. Friedhelm Meyer auf der Heide 6 Weitere unentscheidbare Probleme: Reduktionen HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Def: heißt reduzierbar auf falls es eine berechenbare, totale Funktion gibt mit - Für alle Wir schreiben: (mittels ) ist die Reduktion oder Reduktionsfunktion von Friedhelm Meyer auf der Heide 7 Weitere unentscheidbare Probleme: Reduktionen HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Beispiel: Sei Friedhelm Meyer auf der Heide 8 Weitere unentscheidbare Probleme: Reduktion HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Es gilt: Was folgt daraus? Wäre rekursiv aufzählbar durch DTM M‘, so wäre auch Diag rekursiv aufzählbar: - bei Eingabe bin(i) berechne f(bin(i)) - starte M‘ mit Eingabe f(bin(i)) - akzeptiere bin(i), falls M‘ f(bin(i)) akzeptiert. Da Diag nicht rekursiv aufzählbar ist, ergibt sich ein Widerspruch. Also: ist nicht rekursiv aufzählbar. Also: H nicht entscheidbar. Friedhelm Meyer auf der Heide 9 Beweis für: „nicht entscheidbar“. HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität zu zeigen: L ist nicht entscheidbar Wähle geeignetes nichtentscheidbares Problem aus, z. B. Diag. Zeige: „Wäre entscheidbar, dann wäre auch Diag entscheidbar“ mit anderen Worten: zeige : Haben wir für gemacht. Friedhelm Meyer auf der Heide 10 HEINZ NIXDORF INSTITUT Nicht entscheidbare Sprachen: Reduktion Universität Paderborn Algorithmen und Komplexität Allgemein: Friedhelm Meyer auf der Heide 11 HEINZ NIXDORF INSTITUT Weitere unentscheidbare Probleme Universität Paderborn Algorithmen und Komplexität Friedhelm Meyer auf der Heide 12 HEINZ NIXDORF INSTITUT Weitere unentscheidbare Probleme Universität Paderborn Algorithmen und Komplexität Satz von Rice. Sei R die Menge aller partiellen berechenbaren Funktionen, S sei nichttriviale Teilmenge von R, d.h. Dann ist nicht entscheidbar. Bsp: - S = alle totalen berechenbaren Funktionen Totalitätsproblem - S= - S = Menge aller partiellen Funktionen, die nur auf endlich vielen Argumenten definiert sind. L (S) = Endlichkeitsproblem Friedhelm Meyer auf der Heide 13 Einige weitere unentscheidbare Probleme … HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität ... die nicht Eigenschaften von DTM‘s testen. - Diophantische Gleichungen:= {p | p Polynom in mehreren Variablen mit Koeffizienz aus , - Arithmetik:= {A | A ist arithmetische Aussage (Variablen, Quantoren, Logische Verknüpfungen, =, , >, <, +,-, *), A ist wahr} Achtung: Presburger Arithmetik: wie oben, aber ohne * ist entscheidbar !! Friedhelm Meyer auf der Heide 14