KIT | KIT-Bibliothek | Impressum | Datenschutz

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 30.11.2016, 12

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:04 Wo sind wir?
  • 0:01:15 Auszug aus der DTD für Tabellen in XHTML
  • 0:03:04 Interpretation der DTD für Tabellen in XHTML
  • 0:05:15 Beispiel für Tabelle in XHTML
  • 0:06:56 Latex (1)
  • 0:11:44 Latex (2)
  • 0:13:30 Grobstruktur von Latex-Dokumenten
  • 0:15:21 Listen mit Latex
  • 0:16:56 Formale Sprachen kommen ins Spiel
  • 0:20:29 Eine Grenze unserer bisherigen Vorgehensweise
  • 0:23:59 Was ist wichtig (1)
  • 0:25:07 Kapitel 12: kontextfreie Grammatiken
  • 0:26:08 Spezifikation von formalen Sprachen
  • 0:26:34 Abschnitt der Definition der Syntax von Java
  • 0:30:35 Rekursion
  • 0:32:01 Vereinfachung
  • 0:35:07 Versuch einer formalen Sprache
  • 0:39:19 Lösbarkeit von L
  • 0:40:51 Beweis des Lemmas – Teil 1
  • 0:43:36 Beweis des Lemmas – Teil 2
  • 0:48:41 Was kann man an Li sehen?
  • 0:52:02 Die Erklärung für L3 graphisch dargestellt
  • 0:54:49 Vereinfachte Darstellung für L3
  • 0:56:36 Was ist wichtig (2)
  • 0:57:30 Kontextfreie Grammatik G
  • 1:01:08 Ableitungsschritt mittels einer Produktion
  • 1:03:24 Anmerkungen (1)
  • 1:04:03 Anmerkungen (2)
  • 1:05:54 Ableitungsfolgen
  • 1:07:36 jede Grammatik erzeugt eine formale Sprache
  • 1:08:39 Beispiel einer kontextfreien Grammatik/Sprache
  • 1:11:01 Kompaktere Notation bei vielen Produktionen
  • 1:11:50 Java-Syntax – Interpretation der Definition
  • 1:13:20 kontextfreie Grammatiken versus Syntax von Programmiersprachen
  • 1:15:29 Ableitungsbäume sind übersichtlicher als schrittweise Ableitung
  • 1:17:26 Ableitungsbaum
  • 1:19:12 Wohlgeformte/korrekte Klammerausdrücke
  • 1:20:49 Arithmetische Ausdrücke


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 08.12.2016
Erstellungsdatum 30.11.2016
DOI 10.5445/DIVA/2016-788
Identifikator KITopen-ID: 1000114354
Serie Grundbegriffe der Informatik, Vorlesung, WS 2016/17
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page