13: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 28.11.2018
- 0:00:00 Start
- 0:00:21 Kapitel 12: kontextfreie Grammatiken
- 0:03:57 Versuch einer formalen Sprache
- 0:06:27 Lösbarkeit von L
- 0:09:18 Beweis des Lemmas - Teil 1
- 0:13:41 Beweis des Lemmas - Teil 2
- 0:25:01 Was ist wichtig
- 0:29:05 Kontextfreie Grammatiken
- 0:49:23 Beispiel
- 1:02:18 Ableitungsbäume sind übersichtlicher als schrittweise Ableitungen
- 1:09:49 Arithmetische Ausdrücke
- 1:19:39 Syntax aussagenlogischer Formeln
- 1:24:43 Was ist wichtig
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 29.11.2018 |
| Erstellungsdatum | 28.11.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-915 |
| Identifikator | KITopen-ID: 1000116098 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2018/19 |
| Folge | 13 |