|
00:00:00
|
Begrüßung |
|
00:00:38
|
Wiederholung |
|
00:06:00
|
Das Postsche Korrespondenzproblem - Einführung |
|
00:10:55
|
Definition des PKP |
|
00:18:56
|
Definition des Modifizierten PKP |
|
00:21:27
|
Reduktionskette |
|
00:23:12
|
Beweis: MPKP ≤ PKP (Lemma A) |
|
00:40:14
|
Simulation einer TM durch Dominos |
|
01:04:11
|
Beweis H ≤ MPKP (Lemma B) |
|
01:17:02
|
Eingeschränkte Versionen des Korrespondenzproblems |
|
01:19:28
|
Conways Spiel des Lebens |