KIT | KIT-Bibliothek | Impressum | Datenschutz

26: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 29.01.2020

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

  • 0:00:00 Start
  • 0:00:05 Beginn Übung 24: Berechenbarkeit
  • 0:02:14 TM: Akzeptor, Entscheider
  • 0:09:27 Simulation
  • 0:16:23 TMs und endliche Akzeptoren
  • 0:23:28 Beginn Vorlesung
  • 0:26:52 Äquivalenz regulärer Ausdrücke
  • 0:33:14 Beispiel: Datums- und Zeitangaben in Emails
  • 0:38:12 Zusammenhang mit Automaten und Grammatiken
  • 0:44:24 Was ist wichtig
  • 0:47:15 Rechtslineare Grammatiken (Typ 3)
  • 0:49:36 Rechtlineare Grammatiken: Definition
  • 0:50:59 Beispiele
  • 0:59:26 Kantorowitsch-Bäume und strukturelle Induktion
  • 1:04:53 Regex-Bäume
  • 1:09:49 Induktion über Höhe der Regex-Bäume
  • 1:19:14 Strukturelle Induktion
  • 1:21:06 Was ist wichtig


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 30.01.2020
Erstellungsdatum 29.01.2020
DOI 10.5445/DIVA/2020-78
Identifikator KITopen-ID: 1000117243
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page