Berechenbarkeit #39 - Rekursive Aufzählbarkeit

preview_player
Показать описание
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".
  1. NLogSpace
  2. rekursiv aufzählbar
  3. rekursive Aufzählbarkeit
  4. semi-entscheidbar
  5. aufzählverfahren
Рекомендации по теме
Berechenbarkeit #39 - 0:13:15

Berechenbarkeit #39 - Rekursive Aufzählbarkeit

Berechenbarkeit #40 - 0:09:45

Berechenbarkeit #40 - Rekursiv aufzälbar vs. semi-entscheidbar

Berechenbarkeit #38 - 0:13:20

Berechenbarkeit #38 - Das Äquivalenzproblem ist unentscheidbar

Berechenbarkeit #31 - 0:18:19

Berechenbarkeit #31 - Reduktionen

Berechenbarkeit #27 - 0:10:50

Berechenbarkeit #27 - Entscheidbarkeit und Unentscheidbarkeit

12: RAM, Markow-Algorithmen, 1:19:31

12: RAM, Markow-Algorithmen, Zellularautomaten, Quantencomputer, Primitiv rekursive Funktionen

Berechenbarkeit #34 - 0:15:05

Berechenbarkeit #34 - Satz von Rice

14: Nicht-entscheidbare Probleme, 0:59:18

14: Nicht-entscheidbare Probleme, Gödelnummer, Universelle Turingmaschine, Halteproblem

Berechenbarkeit #36 - 0:21:15

Berechenbarkeit #36 - Semi-Entscheidbarkeit

07: Universelle Sprache, 1:19:25

07: Universelle Sprache, Satz von Rice, Komplexitätstheorie, Problem, Kodierungsschema

22: Turinmaschinen, Endkonfigurationen, 1:24:54

22: Turinmaschinen, Endkonfigurationen, Entscheidbare und aufzählbare Sprachen, P & PSPACE

Комментарии
Автор

Coll erklärt, sehr einfach. Ohne eine große Menge der formalen Formeln. Danke schön

iharbakhanovich
Автор

Servus. Erst einmal Danke für alle deine Videos. Die sind eine große Hilfe. Mir ist aufgefallen, dass dieses Video hier nicht in der Berechenbarkeit Playlist ist.

DITD
join shbcf.ru