KIT | KIT-Bibliothek | Impressum | Datenschutz

24: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 30.01.2019

Worsch, Thomas; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:39 Wiederholung(Turingmaschinen)
  • 0:02:42 Endliche Automaten
  • 0:03:56 Reguläre Ausdrücke
  • 0:07:50 Klammereinsparungsregeln
  • 0:12:41 Durch R Beschriebene formale Sprachen / Beispiel
  • 0:14:49 Beispiele für R
  • 0:27:56 Charakterisierungen regulärer Sprachen
  • 0:34:39 Rechtslineare Grammatiken (Typ 3)
  • 0:39:02 Rechtslineare Grammatiken: Beispiele
  • 0:44:42 Sprechweisen
  • 0:47:29 Vorteile rechtslinearer Grammatiken
  • 0:49:49 Kantorowitsch-Bäume und strukturelle Induktion
  • 0:52:31 Mit Kantorowitsch-Bäumen kann man z.B. reguläre Ausdrücke repräsentieren
  • 0:56:25 Regex-Bäume -- etwas genauer
  • 1:00:06 Vollständige Induktion über die Baumhöhe
  • 1:04:44 Skizze des Induktionsschritts
  • 1:12:15 Zusammenfassung
  • 1:14:29 Äquivalenzrelationen
  • 1:15:48 Kongruenz ganzer Zahlen modulo n
  • 1:16:59 Beispiel: asymtptotisches gleiches Wachstum
  • 1:17:33 Urbilder von Fuktionswerten
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 31.01.2019
Erstellungsdatum 30.01.2019
DOI 10.5445/DIVA/2019-106
Identifikator KITopen-ID: 1000116294
Lizenz KITopen-Lizenz
Serie Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Folge 24
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page