Formale Systeme, Automaten, Prozesse: Vorlesung (Do, 09.05.2019)

Kapitel:

00:00:00
Pumping Lemma
00:44:34
Myhill-Nerode Äquivalenz