15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.01.2019 - a podcast by Karlsruher Institut für Technologie (KIT)

15 |
0:00:00 Start
0:02:19 weitere Eigenschaften kontextfreier Sprachen
0:12:03 Ein maschinellmodell für Chomsky-2
0:18:04 Greibach-Normalform
0:21:01 Beweis - Ersetzung
0:29:08 Beweis - Definitionen
0:30:57 Beweis - Invarianten
0:36:26 Beweis - Verfahren Schritt 1
0:45:30 Beweis - Verfahren Schritt 2
0:50:05 Beweis - Verfahren Schritt 3
0:53:21 Kellerautomaten
0:59:08 Kellerautomaten - Arbeitsweise
1:15:30 Ein Maschinenmodell für Chomsky-2

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS18/19

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

Website of Karlsruher Institut für Technologie (KIT)