Semi-Entscheidbarkeit

Neue Frage »

Auf diesen Beitrag antworten »
Iwant2bacomputerscientist Semi-Entscheidbarkeit

Hallo ich bräuchte Hilfe bei der folgenden Aufgabe:

Sei L Teilmenge von Sigma Stern eine Sprache.

Zu Zeigen ist: Wenn L und Sigma Stern ohne L (E\L) rekursiv aufzählbar sind, so ist L entscheidbar.

Ich habe keine Ahnung wie ich daran gehen soll, würde mich über jede Hilfe freuen.
Viele Grüße
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »