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

Kapitel:

00:04:45
Pumping-Lemma
00:37:15
Widerspruchsbeweise mit Pumping-Lemma
00:48:42
Myhill-Nerode Äquivalenz
01:03:29
Myhill-Nerode Äquivalenz (Definition)