Generator12 unregistriert
|
|
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
|
|
25.11.2018 21:36 |
|
|