Formale Systeme, Automaten und Prozesse: Vorlesung (Do, 23.06.2022)
  • Einbetten

Kapitel:

00:00:01
Wiederholung
00:05:54
Algorithmen für kontextfreie Sprachen
00:06:03
Parsing
00:36:46
Parser und DPDA
00:54:12
Das Wortproblem für kontextfreie Grammatiken
00:57:06
CYK-Algorithmus (Idee)
01:15:05
CYK-Algorithmus
01:19:24
Grenzen der algorithmischen Lösbarkeit