Education
05 | 0:00:00 Start 0:00:39 Kapitel 2 0:07:31 Alternative Sicht – Beispiel 0:16:52 Wiederholung Äquivalemzklassenautomat 0:19:38 Rechtsinvarianz und Index 0:26:04 Nerode-Relation 0:29:50 Satz von Nerode 0:46:15 Korollar 0:52:35 Minimalität des Äquivalenzklassenautomats 0:55:26 Zusammenfassung 1:01:27 Turing-Maschinen und Berechenbarkeit 1:03:20 Die Registermaschine (RAM) 1:11:08 Formale Definition der Turingmaschine 1:18:14 Beispiel-Turing-Maschine