Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 03.11.2015, Vorlesung - 04 - a podcast by Karlsruher Institut für Technologie (KIT)

04: Vorlesung |
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

Further episodes of Theoretische Grundlagen der Informatik, Vorlesung, WS15/16

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)