Partielle Berechenbarkeit
Partielle Berechenbarkeit
Partielle Berechenbarkeit
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Reduktion des Äquivalenzproblems• Um die Unentscheidbarkeit des Äquivalenzproblems zu zeigen,konstruieren wir ein Programm ThirteenPD, welches genau dann 13ausgibt, wenn ein beliebiges, von uns gewähltes Programm P angesetztauf die Daten D hält.void ThirteenPD(String D1){}wendePaufDan(P, D);System.out.println(13);• Offensichtlich gilt, dass beide Programme genau dann äquivalent sind,wenn P angesetzt auf D anhält.• Damit müsste Äquivalenz-Test das Halteproblem lösen können,was im Widerspruch zur Unentscheidbarkeit des Halteproblems steht.14.22