KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

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

Autor

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

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

03: Vorlesung und Übung |
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)

Laufzeit (hh:mm:ss)

02:36:47

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

16.11.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 48469 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 855389 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 9408 s
Dateiname DIVA-2015-760_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 800825 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 Folgen 1-27 von 27