BuK/IIm12/Studenten/siclsche/Thema6
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== Aufgabe 1 ==
Zeigen Sie die Unentscheidbarkeit von $L_{\Sigma^{*}}:=\{\left\langle M \right\rangle | L(M) = \Sigma^{*} \}$ durch Reduktion des Halteproblems.Wiki-Quelltext dieser Seite.
== Aufgabe 1 ==
Zeigen Sie die Unentscheidbarkeit von $L_{\Sigma^{*}}:=\{\left\langle M \right\rangle | L(M) = \Sigma^{*} \}$ durch Reduktion des Halteproblems.