Kein Folientitel - Universität Paderborn

Werbung
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
Herunterladen