KIT | KIT-Bibliothek | Impressum | Datenschutz

15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.01.2019

Ueckerdt, Torsten; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:02:19 weitere Eigenschaften kontextfreier Sprachen
  • 0:12:03 Ein maschinellmodell für Chomsky-2
  • 0:18:04 Greibach-Normalform
  • 0:21:01 Beweis - Ersetzung
  • 0:29:08 Beweis - Definitionen
  • 0:30:57 Beweis - Invarianten
  • 0:36:26 Beweis - Verfahren Schritt 1
  • 0:45:30 Beweis - Verfahren Schritt 2
  • 0:50:05 Beweis - Verfahren Schritt 3
  • 0:53:21 Kellerautomaten
  • 0:59:08 Kellerautomaten - Arbeitsweise
  • 1:15:30 Ein Maschinenmodell für Chomsky-2
Open Access Logo


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