05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 07.11.2017

1:23:01
 
Teilen
 

Manage episode 198837308 series 2078468
Von Karlsruher Institut für Technologie (KIT) entdeckt von Player FM und unserer Community - Das Urheberrecht hat der Herausgeber, nicht Player FM, und die Audiodaten werden direkt von ihren Servern gestreamt. Tippe auf Abonnieren um Updates in Player FM zu verfolgen oder füge die URL in andere Podcast Apps ein.
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

19 Episoden