Ist diese Sprache entschieden?
-
29-09-2020 - |
Frage
wie der Titel sagt; Ist diese Sprache entschieden und wie beweisen Sie es?
$$ l={\ langle m \ rangle \ mid m \ text {ist eine Turing-Maschine und es gibt einen Eingang, den} m \ text {hält auf} \}$$
Lösung
Ihre Sprache ist nicht entschieden. Um zu zeigen, dass er genießt, dass das Vorhandensein einer Turing-Maschine
in der Tat angesichts einer Turing-Maschine