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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.11.2015 |
| Erstellungsdatum | 17.11.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-808 |
| Identifikator | KITopen-ID: 1000113449 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 |
| Folge | 8 |