Thema6
Aus ProgrammingWiki
Archivierte Version vom 2013-05-13T14:58:46+00:00. Aktuelle Version
Aufgabe 1
Zeigen Sie die Unentscheidbarkeit von L_{\Sigma^{*}}:=\{\left\langle M \right\rangle | L(M) = \Sigma^{*} \} durch Reduktion des Halteproblems.
Zeigen Sie die Unentscheidbarkeit von L_{\Sigma^{*}}:=\{\left\langle M \right\rangle | L(M) = \Sigma^{*} \} durch Reduktion des Halteproblems.