Berechenbarkeit und Komplexität: Random Access Machines, Umwandlung von TMs und RAMs, Church-Turing-These (Fr, 28.10.2016)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Vorlesung 03

Kapitel:

00:00:00
Organisatorisches
00:02:24
wdh. k-Band- vs. 1-Band-TM
00:03:08
wdh. Gödelnummern
00:03:49
wdh. Universelle TM
00:08:43
Registermaschine
00:12:22
RAM-Befehle
00:16:40
Funktionsweise der RAM
00:17:51
Beispielprogramm RAM
00:22:50
Bemerkungen zur RAM
00:24:37
Simulation RAM durch TM
00:28:15
Besondere Eigenschaft von Polynomen
00:36:33
Simulation RAM durch TM Animation
00:40:36
Simulation TM durch RAM
00:47:10
Simulation TM durch RAM Animation
01:00:22
Zusammenfassung
01:01:45
Church-Turing-These