Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08 - a podcast by Karlsruher Institut für Technologie (KIT)

from 2021-01-31T22:10:42.023393

:: ::

08: Vorlesung |
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

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS15/16

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)