---

Geschrieben von Generator12 am 25.11.2018 um 21:36:

  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