KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 03.11.2015, Vorlesung - 04

Sanders, Peter ORCID iD icon

  • 0:00:00 Starten
  • 0:00:07 Wiederholung: Reguläre Ausdrücke
  • 0:01:46 Satz: Reguläre Ausdrücke - Typ-3 Sprachen
  • 0:02:25 Regulärer Ausdruck - NFA
  • 0:02:53 RegExp - NFA
  • 0:08:05 Beweis
  • 0:19:15 Positive Hülle
  • 0:20:17 Beweis
  • 0:26:38 Kleensche Hülle
  • 0:27:29 Beispiele
  • 0:32:52 Exkurs: Anwendung Texte durchsuchen
  • 0:37:34 Anwendung Scanner-(Generatoren)
  • 0:40:16 Ähnliche Funktionaliät
  • 0:41:39 Exkurs: Übergänge
  • 0:43:02 NFA
  • 0:43:39 Beispiel
  • 0:44:56 RegExp - NEA
  • 0:45:58 Positive Hülle
  • 0:46:23 NFA
  • 0:47:35 DFA - RegExp
  • 0:50:05 Beweis
  • 1:01:34 Beispiel
  • 1:04:41 Das Pumping Lemma (für reguläre Sprachen)
  • 1:08:18 Beweis Punping Lemma
  • 1:12:18 Beispiel
  • 1:14:41 Beispiel: Wohlgeformte Klammerausdrücke

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 16.11.2015
Erstellungsdatum 03.11.2015
Sprache Deutsch
DOI 10.5445/DIVA/2015-761
Identifikator KITopen-ID: 1000113405
Lizenz KITopen-Lizenz
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folge 4
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page