KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 29.10.2015, Vorlesung und Übung - 03

Sanders, Peter; Hübschle-Schneider, Lorenz; Maier, Tobias

  • 0:00:00 Starten
  • 0:00:16 Wiederholung: Nichtdeterministische endliche Automaten NFA
  • 0:01:36 NFA - DFA
  • 0:03:18 Potenzmengenkonstruktion
  • 0:03:44 Beispiel
  • 0:10:54 Implementierungshinweise
  • 0:12:42 Typ-3 - NFA
  • 0:16:17 Mehrdeutigkeit bei Typ-3
  • 0:18:21 Reguläre Ausdrücke
  • 0:24:53 Beispiele
  • 0:30:34 Satz: Reguläre Ausdrücke - Typ-3 Sprachen
  • 0:31:54 Regulärer Ausdruck - NFA
  • 0:32:27 Basisfälle
  • 0:33:13 RegExp - NFA
  • 0:36:31 Beweis
  • 0:41:54 1. Übung - TGI
  • 0:42:23 Organisatorisches
  • 0:43:52 Induktion
  • 0:45:28 Induktionstechniken
  • 0:46:57 Chomsky-Hierarchie
  • 0:51:58 Ableitungsbaum
  • 0:53:55 Ableitungsbaum 2 (Bsp. aus VL)
  • 0:56:25 Chomsky-1 Wortproblem
  • 1:04:27 Potenzmengenkonstruktion
  • 1:05:24 Potenzmengenkonstruktion (II)
Open Access Logo


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