KIT | KIT-Bibliothek | Impressum | Datenschutz

16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

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

  • 0:00:00 Start
  • 0:00:21 Letzte Vorlesung
  • 0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
  • 0:11:54 Kellerautomaten
  • 0:15:10 Beispiel - Greibach-Normalform
  • 0:18:13 Beipiel - Kellerautomat
  • 0:21:23 Beweis: Greibach-Normalform -> NPDA
  • 0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
  • 0:52:53 Zwischenfazit zu kontextfreien Grammatiken
  • 0:59:24 Das Post´sche Korrespondenzproblem
  • 1:06:53 Eindeutigkeit von kontextfreien Grammatiken
  • 1:10:13 Sprache der Korrekten Rechenwege
Open Access Logo


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