Turingmachines - مقدمة في الحوسبة النظرية

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=PLb0zKSynM2PDUcEEkjv48Y_4N9CBFyzsz * 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