Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...

Zusatzaufgabe(a) Hat die folgende Instanz des PCP eine Lösung?Geben Sie eine Lösung an oder begründen Sie, dass keine Lösung existiert!K a = ( (1, 111), (1110111, 1110), (101, 01) )(b) Begründen Sie, dass die folgende Instanz des PCP keine Lösung hat!(c) Zeigen Sie, dass die SpracheK b = ( (11, 011), (01, 0), (001, 110) )H ∀ = { w | M w hält für alle Eingaben aus {0, 1} ∗ an }unentscheidbar ist. Hierbei bezeichnet M w die Turing-Maschine, die durch dasWort w kodiert wird.Hinweis: Zeigen Sie, dass sich eine bereits als unentscheidbar bekannte Spracheauf H ∀ reduzieren lässt.11