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

Kapitel:

00:04:45
Pumping-Lemma
00:37:15
Widerspruchsbeweise mit Pumping-Lemma
00:48:42
Myhill-Nerode Äquivalenz