|
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
|
|