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

Kapitel:

00:00:02
Wiederholung
00:05:03
Pumping-Lemma für kontextfreie Sprachen
00:10:56
Beweis des Pumping-Lemmas
00:24:38
Beispiel
00:33:18
Abschlusseigenschaften kontextfreier Sprachen
00:42:53
Kellerautomaten
00:48:29
Kellerautomaten (Syntax)
00:51:16
Notation
00:59:36
Konfigurationen
01:01:25
Übergangsrelation und Läufe