KIT | KIT-Bibliothek | Impressum | Datenschutz

26: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 09.02.2018

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:10 Turingmaschinen
  • 0:00:34 Platzkomplexität oder Raumkomplexität einer TM
  • 0:01:32 Raumkomplexität der TM für Palindromerkennung
  • 0:02:23 Zeitkomplexität versus Raumkomplexität
  • 0:04:00 Eine Komplexitätsklasse ist eine Menge von Problemen
  • 0:05:48 P und PSPACE - zwei wichtige Komplexitätsklassen
  • 0:07:15 Beziehung zwischen P und PSPACE - unklar
  • 0:09:49 Was ist wichtig
  • 0:10:48 Achtung
  • 0:11:09 Codierungen von Turingmaschinen
  • 0:14:37 Beispielcodierung - Zustände
  • 0:15:41 Beispielcodierung - Symbole
  • 0:16:17 Beispielcodierung - Kopfbewegen
  • 0:16:34 Beispielcodierung - Kopfbewegen
  • 0:18:00 Beispielcodierung - eine ganze Turingmaschine
  • 0:19:31 Eigenschaften dieser und ähnlicher Codierungen
  • 0:21:30 Das Halteproblem
  • 0:30:02 Gibt es Probleme die nicht algorithmisch gelöst werden können?
  • 0:31:46 Diagonalisierung
  • 0:37:27 Beweis der Unentscheidbarkeit des Halteproblems
  • 0:41:35 Weitere unentscheidbare Probleme
  • 0:42:40 Erinnerung: BB3
  • 0:44:01 Bibermaschinen
  • 0:44:50 Fleißige Biber und die Busy-Beaver-Funktion
  • 0:50:26 Was ist wichtig?
  • 0:51:39 Steam-Powered Turing Machine
  • 0:53:04 Zusammenfassung 1
  • 0:53:28 Video: Turing Machine in Microsoft Powerpoint
  • 1:01:17 Zusammenfassung 2


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 13.02.2018
Erstellungsdatum 09.02.2018
DOI 10.5445/DIVA/2018-180
Identifikator KITopen-ID: 1000115394
Serie Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page