24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020
- 0:00:00 Start
- 0:00:05 Start Übung
- 0:01:04 Endliche Automaten
- 0:06:58 Endlicher Akzeptor
- 0:10:06 Beispiele regulärer Sprachen
- 0:12:51 Akzeptoren: Komplement
- 0:15:21 Akzeptoren: Schnitt
- 0:19:50 Akzeptoren: Vereinigung
- 0:21:22 Start Vorlesung
- 0:23:09 Beispielcodierung - eine ganze Turingmaschine
- 0:26:12 Halteproblem
- 0:30:10 Diagonalisierung
- 0:35:34 Beweis der Unentscheidbarkeit des Halteproblems
- 0:43:27 Weitere unentscheidbare Probleme
- 0:48:16 Bibermaschinen / Busy-Beaver-Funktion
- 0:58:31 Steam-Powered Turing Maschine
- 1:00:35 Zusammenfassung
- 1:02:04 Beginn Kapitel 22 - MIMA-X
- 1:03:32 Erinnerung: Ackermann-Funktion
- 1:13:00 Stapel - Implementierung in einem Rechner
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 23.01.2020 |
| Erstellungsdatum | 22.01.2020 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-57 |
| Identifikator | KITopen-ID: 1000117223 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 23 |