KIT | KIT-Bibliothek | Impressum | Datenschutz

05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 31.10.2019

Wagner, Dorothea; Sauer, Jonas; Brückner, Guido; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:00:39 Kapitel 2
  • 0:07:31 Alternative Sicht – Beispiel
  • 0:16:52 Wiederholung Äquivalemzklassenautomat
  • 0:19:38 Rechtsinvarianz und Index
  • 0:26:04 Nerode-Relation
  • 0:29:50 Satz von Nerode
  • 0:46:15 Korollar
  • 0:52:35 Minimalität des Äquivalenzklassenautomats
  • 0:55:26 Zusammenfassung
  • 1:01:27 Turing-Maschinen und Berechenbarkeit
  • 1:03:20 Die Registermaschine (RAM)
  • 1:11:08 Formale Definition der Turingmaschine
  • 1:18:14 Beispiel-Turing-Maschine
Open Access Logo


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