Berechenbarkeit und Komplexität: Das Postsche Korrespondenzproblem (Do, 09.11.2023)
Zur Veranstaltungsseite
Aktueller Zeitpunkt 0:00
Dauer -:-
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit -:-
 
1x
  • Einbetten

Kapitel:

00:00:00
Wiederholung
00:14:45
Das Postsche Korrespondenzproblem (PCP)
00:35:40
Das modifizierte PCP (MPCP)
00:43:34
Reduktion MPCP zu PCP
01:04:33
Reduktion Halteproblem zu MPCP
01:31:00
Varianten des PCPs