Angewandte Automatentheorie: NEA-NUNIV ist PSPACE vollständig, Bisimulationsspiel (Mi, 27.04.2011)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:04:10
Satz 1.3.4. NUNIV ist PSPACE vollständig
00:59:20
Definition 1.3.3 Bisimulationsspiel
01:13:50
Beispiel 1.3.6. Bisimulationsspiel