15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.01.2019
- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.01.2019 |
| Erstellungsdatum | 22.01.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-76 |
| Identifikator | KITopen-ID: 1000116264 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19 |
| Folge | 15 |