1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Matrikelnummer: 2<strong>1.</strong> 2. 2006b) (100 Punkte)Zeigen Sie mit Hilfe e<strong>in</strong>er Abbildungsreduktion, dass L nicht rekursiv ko-aufzählbarist. Kreuzen Sie zunächst die Sprache an, die Sie für Ihre Reduktion verwenden möchten: H = {〈M, x〉 | M hält bei E<strong>in</strong>gabe x} A = {〈M, x〉 | M akzeptiert E<strong>in</strong>gabe x}T = {〈M〉 | M hält für jede E<strong>in</strong>gabe}Kreuzen Sie an, welche Aussagen für die von Ihnen gewählte Sprache gelten:• Die Sprache ist rekursiv aufzählbar. Richtig Falsch• Die Sprache ist entscheidbar. Richtig Falsch• Die Sprache ist rekursiv ko-aufzählbar. Richtig Falsch• Die Sprache liegt <strong>in</strong> P. Richtig Falsch• Die Sprache liegt <strong>in</strong> N P. Richtig FalschFühren Sie nun die Reduktion durch:11