KIT | KIT-Bibliothek | Impressum | Datenschutz

24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020

Worsch, Thomas; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:00:05 Start Übung
  • 0:01:04 Endliche Automaten
  • 0:06:58 Endlicher Akzeptor
  • 0:10:06 Beispiele regulärer Sprachen
  • 0:12:51 Akzeptoren: Komplement
  • 0:15:21 Akzeptoren: Schnitt
  • 0:19:50 Akzeptoren: Vereinigung
  • 0:21:22 Start Vorlesung
  • 0:23:09 Beispielcodierung - eine ganze Turingmaschine
  • 0:26:12 Halteproblem
  • 0:30:10 Diagonalisierung
  • 0:35:34 Beweis der Unentscheidbarkeit des Halteproblems
  • 0:43:27 Weitere unentscheidbare Probleme
  • 0:48:16 Bibermaschinen / Busy-Beaver-Funktion
  • 0:58:31 Steam-Powered Turing Maschine
  • 1:00:35 Zusammenfassung
  • 1:02:04 Beginn Kapitel 22 - MIMA-X
  • 1:03:32 Erinnerung: Ackermann-Funktion
  • 1:13:00 Stapel - Implementierung in einem Rechner
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 23.01.2020
Erstellungsdatum 22.01.2020
DOI 10.5445/DIVA/2020-57
Identifikator KITopen-ID: 1000117223
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page