Formale Systeme, Automaten, Prozesse: Globalübung (Mi, 08.05.2019)

Kapitel:

00:48:03
Von NFAs zu regulären Ausdrücken
00:51:18
Gleichungssystemverfahren
00:57:53
Lemma von Arden