Eine formale Sprache bzw. ein Entscheidungsproblem ist rekursiv aufzählbar, wenn es einen Algorithmus gibt, der nach und nach sämtliche Ja-Instanzen des Problems aufzählt. Wir sehen uns Beispiele für rekursive Aufzählverfahren an und klären die Definition des Begriffs "rekursiv aufzählbar".
- Күн бұрын
Berechenbarkeit #39 - Rekursive Aufzählbarkeit
- Рет қаралды 10,480
Пікірлер: 6