KIT | KIT-Bibliothek | Impressum | Datenschutz

04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 06.11.2018

Ueckerdt, Torsten; Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:03 letzte Vorlesung - alternative Sicht
  • 0:04:48 Alternative Sicht - Beispiel
  • 0:13:20 Heutiges Thema (Frage, Antwort)
  • 0:20:21 Definitionen: Rechtsinvarianz und Index
  • 0:27:56 Nerode-Relation
  • 0:31:10 Satz von Nerode
  • 0:50:10 Korollar
  • 0:52:20 Minimalität des Äquivalenzklassenautomats
  • 0:59:19 Zusammenfassung
  • 1:07:12 Turing-Maschinen und Berechenbarkeit
  • 1:08:42 Die Registermaschine (RAM)
  • 1:14:26 Die Turing-Maschine (TM)


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 09.11.2018
Erstellungsdatum 06.11.2018
DOI 10.5445/DIVA/2018-819
Identifikator KITopen-ID: 1000116004
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page