05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 31.10.2019
Wagner, Dorothea; Sauer, Jonas
; Brückner, Guido; Zentrum für Mediales Lernen (ZML) [Hrsg.]
; Brückner, Guido; Zentrum für Mediales Lernen (ZML) [Hrsg.]- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 31.10.2019 |
| Erstellungsdatum | 31.10.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-810 |
| Identifikator | KITopen-ID: 1000116971 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20 |
| Folge | 5 |