16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020
- 0:00:00 Start
- 0:00:21 Letzte Vorlesung
- 0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
- 0:11:54 Kellerautomaten
- 0:15:10 Beispiel - Greibach-Normalform
- 0:18:13 Beipiel - Kellerautomat
- 0:21:23 Beweis: Greibach-Normalform -> NPDA
- 0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
- 0:52:53 Zwischenfazit zu kontextfreien Grammatiken
- 0:59:24 Das Post´sche Korrespondenzproblem
- 1:06:53 Eindeutigkeit von kontextfreien Grammatiken
- 1:10:13 Sprache der Korrekten Rechenwege
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.01.2020 |
| Erstellungsdatum | 23.01.2020 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-64 |
| Identifikator | KITopen-ID: 1000117229 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20 |
| Folge | 16 |