25: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 24.01.2020
- 0:00:00 Start
- 0:00:05 Übung 23: Turing-Maschinen
- 0:01:33 Turing-Maschinen (TMs)
- 0:06:12 Zähler erniedrigen
- 0:11:04 Turing-Maschine als Subroutine
- 0:13:11 Analyse: Zeit- und Platzbedarf
- 0:14:53 TM als Akzeptor
- 0:25:51 MIMA Befehlsholphase
- 0:27:54 Stapel – Implementierung in einem Rechner
- 0:29:41 Mimax – drei zusätzliche Register für Adressen
- 0:31:13 Register RA speichert eine Rückkehradresse
- 0:33:36 CALL und RET
- 0:41:10 SP und FP
- 0:42:29 Speicherzugriffe mittels SP
- 0:46:39 Realisierung von push, top und pop
- 0:48:33 push und pop von RA
- 0:58:47 Kapitel 19: Reguläre Ausdrücke und rechtslineare Grammatiken
- 1:04:03 Definition regulärer Ausdrücke
- 1:06:30 Beispiele
- 1:07:42 Klammereinsparungsregeln
- 1:10:10 Definition der Syntax regulärer Ausdrücke
- 1:12:06 Beschriebene formale Sprache
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 27.01.2020 |
| Erstellungsdatum | 24.01.2020 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-67 |
| Identifikator | KITopen-ID: 1000117232 |
| Lizenz | KITopen-Lizenz |
| Nachgewiesen in | OpenAlex |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 24 |