Education
05 | 0:00:00 Starten 0:00:21 Frage 0:04:24 Wiederholung Äquivalenzklassenautomat 0:09:44 Definitionen: Rechtsinvarianz und Index 0:17:24 Nerode- Relation 0:22:12 Satz von Nerode 0:25:40 Beweis zu Satz von Nerode: (1)-->(2) 0:31:49 Beweis zu Satz von Nerode: (2)-->(3) 0:37:57 Beweis zu Satz von Nerode: (3)-->(1) 0:46:16 Korollar 0:49:09 Minimalitäat des Äquivalenzklassenautomats 0:53:15 Zusammenfassung 0:56:04 Historisches 0:59:37 Turing-Maschinen und Berechenbarkeit 1:00:59 Die Registermaschine (RAM) 1:02:13 Befehle der Registermaschine (RAM) 1:03:12 Die Turing-Maschine (TM) 1:06:53 Formale Definition der Turing-Maschine 1:08:59 Bemerkung zur TM 1:12:15 Beispiel-Turing-Maschine 1:18:17 Definition zur TM