Wir sehen uns das Postsche Korrespondenzproblem (PKP) an. Dieses Problem ist unentscheidbar und wird häufig verwendet, um davon zu reduzieren, um andere Probleme als unentscheidbar nachzuweisen. In diesem Video sehen wir uns Beispiele an und klären auch, warum das PKP semi-entscheidbar ist.
- Күн бұрын
Berechenbarkeit #48 - Postsches Korrespondenzproblem (PKP)
- Рет қаралды 10,538
Пікірлер: 12