Zeigen Sie das Sprache rekursive aufzählbar |
| 25.11.2018, 21:36 | Auf diesen Beitrag antworten » |
| 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 |
|
|
|
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
| Die Neuesten » |
|
