Berechenbarkeit und Komplexität: TMs mit mehreren Spuren, TMs mit mehreren Bändern, Universelle TMs (Di, 25.10.2016)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Vorlesung 02

Kapitel:

00:00:01
Organisatorisches
00:02:22
Wdh. Kodierung
00:06:40
Wdh. TM
00:08:20
Wdh. TM-Techniken
00:10:18
TM's mit mehreren Bändern
00:14:26
Simulation k-Band-TM durch 1-Band-TM
00:15:05
Beweis dazu.
00:31:35
Einführung zu Universellen TM's
00:36:33
Gödelnummer
00:38:33
Realisierung der Gödelnummern
00:44:25
Beispielkodierung
00:49:45
Implementierung der universellen TM
00:55:41
Animation einer Universellen TM
01:01:38
universelle TM auf einem Band