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

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

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