Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Einführung in Berechenbarkeit, Komplexität und formale Sprachen
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Aufgabe 3<br />
Zeigen sie, dass die folgende Sprache nicht entscheidbar ist, <strong>in</strong>dem Sie e<strong>in</strong>e<br />
Reduktion vom Halteproblem durchführen.<br />
DontPanic = {⟨M⟩ ∣ M hält bei E<strong>in</strong>gabe 101010} ,<br />
Ist diese Sprache rekursiv aufzählbar?<br />
Beispiellösung: Wir zeigen H ≤ DontPanic<br />
3 Schritte:<br />
1. Konstruktion e<strong>in</strong>er Reduktionsfunktion f<br />
2. Nachweis, dass f berechenbar ist<br />
3. w ∈ H ⇔ f (w) ∈ DontPanic<br />
12 / 17