04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 06.11.2018
- 0:00:00 Start
- 0:00:03 letzte Vorlesung - alternative Sicht
- 0:04:48 Alternative Sicht - Beispiel
- 0:13:20 Heutiges Thema (Frage, Antwort)
- 0:20:21 Definitionen: Rechtsinvarianz und Index
- 0:27:56 Nerode-Relation
- 0:31:10 Satz von Nerode
- 0:50:10 Korollar
- 0:52:20 Minimalität des Äquivalenzklassenautomats
- 0:59:19 Zusammenfassung
- 1:07:12 Turing-Maschinen und Berechenbarkeit
- 1:08:42 Die Registermaschine (RAM)
- 1:14:26 Die Turing-Maschine (TM)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 09.11.2018 |
| Erstellungsdatum | 06.11.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-819 |
| Identifikator | KITopen-ID: 1000116004 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19 |
| Folge | 4 |