KIT | KIT-Bibliothek | Impressum | Datenschutz

17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 23.01.2018

Ueckerdt, Torsten; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:24 Übersicht Chomsky-2
  • 0:03:13 WDh.: Greibach-Normalform, Kellerautomat
  • 0:09:07 Beweis
  • 0:47:57 Korollar
  • 0:48:46 Exkurs
  • 0:50:37 Zwischenfazit zu kontextfreien Grammatiken
  • 0:53:05 Unentscheidbare Probleme für kontextfreie Grammatiken
  • 0:55:26 Das Post'sche Korrespondenzproblem
  • 1:03:51 Eindeutigkeit von kontextfreien Grammatiken
  • 1:05:26 Beweisskizze
  • 1:09:07 Sprache der korrekten Rechenwege

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 25.01.2018
Erstellungsdatum 23.01.2018
Sprache Deutsch
DOI 10.5445/DIVA/2018-83
Identifikator KITopen-ID: 1000115300
Lizenz KITopen-Lizenz
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18
Folge 17
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page