Berechenbarkeit und Komplexität: Aufzähler, Semi-Entscheidbarkeit Rekursive Aufzählbarkeit, Komplemente, Schnitte, Vereinigungen, Reduktionen (Di, 15.11.2016)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Vorlesung 07

Kapitel:

00:03:10
Wiederholung: Der Satz von Rice
00:11:14
Semi-Entscheidbarkeit & Aufzählbarkeit
00:38:38
Schnitte von Sprachen
00:43:16
Vereinigungen von Sprachen
00:57:55
Reduktion