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