KIT | KIT-Bibliothek | Impressum | Datenschutz

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 27.01.2017, 23

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

  • 0:00:00 Starten
  • 0:00:05 Beispiel einer nicht erkennbaren Sprache
  • 0:03:01 Beispiel einer nicht erkennbaren Sprache (2)
  • 0:06:44 Beispiel einer nicht erkennbaren Sprache (3)
  • 0:12:49 Was ist wichtig
  • 0:14:26 Zusammenfassung
  • 0:15:48 Was können endliche Akzeptoren
  • 0:16:20 Überblick
  • 0:18:46 Der Begriff regulärer Ausdruck hat heute verschiedene Bedeutungen
  • 0:19:49 Definition regulärer Ausdrücke (1)
  • 0:22:58 Beispiele
  • 0:23:44 Klammereinsparungsregeln
  • 0:25:01 Beispiele für Klammereinsparungsregeln
  • 0:26:05 Nichtbeispiele
  • 0:27:31 Definition der Syntax regulärer Ausdrücke
  • 0:29:03 Ableitungsbaum eines regulären Ausdrucks
  • 0:29:44 Durch R beschriebene formale Sprache
  • 0:30:55 Beispiele für
  • 0:32:44 Bestimmung von entlang des Ableitungsbaums von R
  • 0:34:08 Wie ist das denn eigentlich?
  • 0:35:24 Äquivalenz regulärer Ausdrücke
  • 0:37:40 Weitere Beispiele für
  • 0:40:26 RFC 5322: Internet Message Format
  • 0:43:01 RFC 5322, Abschnitt 3.3: Date and Time Specification, fast wörtlich:
  • 0:45:39 Datums- und Zeitangaben in Emails (2)
  • 0:46:28 Datums- und Zeitangaben in Emails (3)
  • 0:48:07 Charakterisierungen regulärer Sprachen
  • 0:50:46 Zum Beweis des Satzes
  • 0:53:39 Was ist wichtig
  • 1:00:13 Rechtslineare Grammatiken: Definition
  • 1:01:58 Rechtslineare Grammatiken: Beispiele
  • 1:04:06 Rechtslineare Grammatiken: Nichtbeispiel
  • 1:04:52 Sprechweisen
  • 1:06:53 Vorteil rechtslinearer Grammatiken
  • 1:07:54 Ziel dieses Abschnittes
  • 1:09:18 Mit Kantorowitsch-Bäumen kann man z.B. reguläre Ausdrücke repräsentieren
  • 1:10:53 Regex-Bäume - etwas genauer
  • 1:12:17 Vollständige Induktion über die Baumhöhe
  • 1:13:33 Vollständige Induktion über die Baumhöhe - ein Problem
  • 1:15:08 Erinnerung: Verallgemeinerung vollständiger Induktion
  • 1:15:49 Induktion über die Höhe der Regex-Bäume
  • 1:17:49 Skizze des Induktionsschritts (1)
  • 1:18:45 Skizze des Induktionsschritts (2)
  • 1:21:07 Strukturelle Induktion
  • 1:22:25 Zusammenfassung
Open Access Logo


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