05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 07.11.2017
- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 11.11.2017 |
| Erstellungsdatum | 07.11.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-609 |
| Identifikator | KITopen-ID: 1000115001 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18 |
| Folge | 5 |