Zur Veranstaltungsseite

Kapitel:

Start Kapitel
00:01:42
NFA Wortproblem
00:05:48
Erreichbarkeit im transitionsgraphen
00:10:07
Leerheitsproblem
00:11:58
Unendlichkeitsproblem
00:20:27
Inklusionsproblem
00:26:49
Äquivalenz regulärer Sprachen
00:27:39
Model Checking
00:42:37
Ausgabeautomaten