Entscheidbarkeit - theoretische Informatik

Erste Frage Aufrufe: 800     Aktiv: 13.06.2021 um 23:16
0

Hallo, Ich soll beweisen ob folgende Menge: enter image description here

entscheidbar ist oder nicht. Ich habe folgenden Beweis geführt, aber bin mir unsicher ob er richtig ist. Kann mir da jmd. weiterhelfen? enter image description here

Ich freue mich über jede Hilfe

Diese Frage melden
gefragt

Punkte: 55

 
Kommentar schreiben
0 Antworten