14: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 09.01.2018
- 0:00:00 Starten
- 0:00:22 Die Chomsky Hierarchie
- 0:08:09 Typ-2/Kontextfrwiw Grammatiken
- 0:08:51 Typ-2/ Grammatiken: Beispiel 1
- 0:09:25 Typ-2/ Grammatiken: Beispiel 2
- 0:11:56 Syntacbäume
- 0:13:34 Syntaxbäume Beispiel
- 0:18:27 Links/ Rechtsabteilung, Eindeutigkeit
- 0:20:14 Beispiel
- 0:23:08 Chomsky- Normalform
- 0:30:41 Schritt 1
- 0:34:39 Schritt 2
- 0:38:44 Schritt 3
- 0:47:14 Schritt 4
- 0:52:48 Abhängigkeitsgraph
- 0:54:23 Schritt 4- Phase 1
- 0:56:45 Schritt 4 - Phase 2
- 1:01:32 Sonderbehandlung
- 1:02:24 Der CYK-Algorithmus
- 1:04:53 Beweis - Beschreibung des CYK-Algorithmus
- 1:09:04 CYK- Algorithmus - Beispiel
- 1:10:47 Beweis - Beschreibung des CYK-Algorithmus
- 1:12:54 CYK-Algorithmus - Vorgehen
- 1:24:32 Ergebnisse zum Wortproble
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 11.01.2018 |
| Erstellungsdatum | 09.01.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-15 |
| Identifikator | KITopen-ID: 1000115234 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18 |
| Folge | 14 |