KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08

Sanders, Peter

  • 0:00:00 Starten
  • 0:00:07 Wiederholung
  • 0:01:05 1.3.2 Das Pumping Lemma
  • 0:03:48 Beweis Pumping Lemma
  • 0:13:10 Hilfs Lemma
  • 0:14:39 Anwendung Pumping Lemma
  • 0:22:02 Faustregeln für Beweise mit dem Pumping Lemma
  • 0:26:21 Abschlusseigenschaften
  • 0:27:26 Abgeschlossenheit von KFG unter Vereinigungsmengen
  • 0:29:37 Abgeschlossenheit von KFG unter Produktbildungen
  • 0:30:38 Abgeschlossenheit von KFG unter *
  • 0:33:25 Nichtabgeschlossenheit von KFG
  • 0:38:23 1.3.4 Der CYK-Algorithmus ( Das Wortproblem für kontextfreie Sprachen )
  • 0:41:07 CYK Algorithmus
  • 0:44:29 Beispiel
  • 0:52:24 Impementierung durch dynamische Programmierung
  • 0:55:01 Analyse
  • 1:00:32 1.3.5 Kellerautomaten
  • 1:06:20 Konfiguration einer Kellermaschine
  • 1:06:48 Funktionsweise einer Kellermaschine
  • 1:09:07 Kellermaschine als Akzeptor
  • 1:13:09 Beispiel
Open Access Logo


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