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)
---- Berechenbarkeits- und Komplexitätstheorie (http://www.informatikerboard.de/board/board.php?boardid=15)
----- Zeigen Sie das Sprache rekursive aufzählbar (http://www.informatikerboard.de/board/thread.php?threadid=4063)
Geschrieben von Generator12 am 25.11.2018 um 21:36:
Zeigen Sie das Sprache rekursive aufzählbar
Zeigen Sie das die Sprache
L := { <M> | M hält für mindestens eine Eingabe }
rekursive aufzählbar ist.
1) M gültige Gödelnummer
2) M' simuliert M mit Eingabe w, prüfe ob qaccept/qreject erreicht wird.
1. Fall) Falls qaccept/qreject erreicht wird, so akzeptiere.
2.Fall) Falls keine haltender Zustand erreicht wird, so lehne ab.
Könnte man das so zeigen? Oder stimmt es so nicht?
LG
Forensoftware: Burning Board, entwickelt von WoltLab GmbH