(Twitter)
0
Ich habe große Problem mit dieser Aufgabe. Ich komme garnicht zurecht. Kann einer netterweise die Aufgabe detailliert lösen, um Ich die Lösung verstehen kann.
L ={M | M ist eine TM und {b}*∩L(M) ungelich ∅}.
Zu beweisen ist, L aufzählbar ist aber L ist unentscheidbar, also zwei Beweisen.
Theoretische informatik
Turingmaschine
Nichtdeterministische turingmaschine
Turing machine
Fachinformatiker anwendungsentwicklung
Diese Frage melden
gefragt
user7f8124
Punkte: 10
Punkte: 10
Markdown wird unterstützt.
