Formale Systeme, Automaten, Prozesse: Vorlesung (Mo, 15.04.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

NFA
Potenzmengenkonstruktion (NFA zu DFA)

Kapitel:

00:00:00
Nondeterministic Finite Automata (NFA)
00:34:32
Erreichbarkeitsrelation
00:49:51
Äquivalenz NFAs und DFAs
00:54:49
Potenzmengenkonstruktion