22: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 15.01.2020
- 0:00:00 Start
- 0:00:14 O-Kalkül
- 0:19:05 Eine Hierarchie im O-Kalkül
- 0:24:55 Beginn Vorlesung
- 0:25:50 Beispiel Getränkeautomaten
- 0:27:14 Moore-Automaten
- 0:29:54 Endliche Akzeptoren
- 0:33:33 Erkannte formale Sprache
- 0:57:05 Beispiel einer nicht erkennbaren Sprache
- 1:08:56 Zusammenfassung
- 1:10:40 Turingmaschinen
- 1:11:12 partielle Funktionen
- 1:12:18 Turingmaschinen: Ursprung
- 1:15:57 Eine Turingmaschine im Bild
- 1:20:31 Turingmaschine: Graphische Darstellung
- 1:22:26 Turingmaschine: Tabellarische Darstellung
- 1:22:49 Beispielrechnung
- 1:24:48 Turingmaschinen: Konfigurationen
- 1:25:57 Turingmaschinen: ""überschaubare"" Bandbeschriftungen
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 20.01.2020 |
| Erstellungsdatum | 15.01.2020 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-35 |
| Identifikator | KITopen-ID: 1000117201 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 21 |