Eine Eigenschaft P der rekursiv aufzählbaren Sprachen ist eine Teilmenge von REC: $P \subseteq REC$
Eine Eigenschaft der rekursiv aufzählbaren Sprachen P ist nicht trivial wenn es eine Sprache A gibt mit $A \in P$ und eine andere A' mit $A' \not \in P$.
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.