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