Theoretische Grundlagen der Informatik, Vorlesung, WS18/19

Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen. Dozentin: Prof. Dr. Dorothea Wagner |  Karlsruher Institut für Karlsruher Technologie (KIT), Institut für Theoretische Informatik Vorlesungsaufzeichnung: http://webcast.kit.edu

http://www.kit.edu/

subscribe
share






14: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 17.01.2019


14 | 0:00:00 Start 0:06:36 Das Pumping-Lemma für kontextfreie Sprachen 0:10:42 Ogden´s Lemma für kontextfreie Sprachen 0:14:06 Beweis von Odgen´s Lemma 0:29:34 Bemerkung 0:30:52 Echtheit der Chomsky-Hierarchie 0:32:47 Beweis - Teil 1 0:33:46 Beweis - Teil 2 0:48:59 Beweis - Teil 3 0:55:39 Eigenschaften kontextfreier Sprachen 0:58:31 Nutzlose Variablen 1:00:00 Schritt 1 1:07:39 Schritt 2


fyyd: Podcast Search Engine
share








 January 18, 2019  1h13m