Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Automatentheorie (http://www.informatikerboard.de/board/board.php?boardid=13)
----- Semi-Entscheidbarkeit (http://www.informatikerboard.de/board/thread.php?threadid=1215)
Geschrieben von Iwant2bacomputerscientist am 18.05.2012 um 20:09:
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
Forensoftware: Burning Board, entwickelt von WoltLab GmbH