Formale Systeme, Automaten und Prozesse: Vorlesung (Di, 21.06.2022)
  • Einbetten

Kapitel:

00:00:02
Wiederholung
00:12:04
Kontextfreie Sprachen und Kellerautomaten
00:15:20
Konstruktion eines PDA aus einer Grammatik
00:19:25
Beispiel
00:23:23
Linksableitung
00:25:12
Beweis der Konstruktion
00:41:23
Von PDAs zu Grammatiken
00:48:19
Konstruktion einer Grammatik aus einem PDA
00:50:17
Beispiel
00:58:14
Beweis der Konstruktion
01:08:05
Deterministische Kellerautomaten
01:11:59
Eigenschaften von DPDAs