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