Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 12.01.2017, 14 - a podcast by Karlsruher Institut für Technologie (KIT)

14 |
0:00:00 Starten
0:00:07 Wiederholung
0:12:03 Ogden´s Lemma für kontextfreie Sprachen
0:14:31 Beweis
0:29:20 Beweis - Teil 1
0:30:23 Beweis - Teil 2
0:39:23 Beweis - Teil 3
0:41:58 Nutzlose Variablen
0:43:38 Schritt 1
0:47:24 Beispiel: Schritt 1
0:51:28 Schritt 2
0:53:16 Beispiel: Schritt 2
0:56:45 Korollar
0:59:27 Beispielgraph

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS16/17

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

Website of Karlsruher Institut für Technologie (KIT)