This flashcard is just one of a free flashcard set. See all flashcards!
65
Beweis: H 
MPKP
MPKPGegeben sei die Eingabe (<M>,w) für H. Konstruiere berechnbare Funktion f als Menge M von Dominos M=f(<M>,w). Bilde ungültige Eingaben für H auf ungültige Eingaben für MPKP ab.
Simuliere dazu eine TM als Dominos.
Simuliere dazu eine TM als Dominos.
