Turingmaschinen - eine Einführung (Theoretische Informatik)

Der legendäre britische Mathematiker Alan Turing erdachte die nach ihm benannten abstrakten Automaten eigentlich, um das Denken von Menschen zu beschreiben und damit eine Frage der mathematischen Grundlagenforschung (das sogenannte Entscheidungsproblem) anzugehen. Inzwischen sind sie in der Theoretischen Informatik allgegenwärtig.

Das GANZ NEUE Buch: http://weitz.de/GDM/
Das NEUE Buch: http://weitz.de/PP/
Skript: http://weitz.de/files/ti-skript.pdf

Video zur "echten" Turingmaschine: https://aturingmachine.com/

Das Video im Playlist-Kontext: http://weitz.de/y/im3wzFPbOyk?list=PL...

Liste aller Videos: http://weitz.de/haw-videos/
Das etwas andere Mathe-Lehrbuch: http://weitz.de/KMFI/
"FAQ": http://weitz.de/youtube.html

00:00 Wie sollte man Kellerautomaten erweitern?
01:43 Geschichte und Idee der Turingmaschinen
10:47 Partielle Funktionen
13:29 Mathematische Definition der Turingmaschine
20:10 Erstes Beispiel für eine Turingmaschine
27:07 Undefiniertes Terminieren
28:32 Noch ein Beispiel: Endlosschleifen