KIT | KIT-Bibliothek | Impressum | Datenschutz

25: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 24.01.2020

Worsch, Thomas; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 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
DOI 10.5445/DIVA/2020-67
Identifikator KITopen-ID: 1000117232
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page