Semi-Entscheidbarkeit |
18.05.2012, 20:09 | 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 |
|
|