KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08

Autor

Peter Sanders

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

08: Vorlesung |
0:00:00 Starten
0:00:07 Wiederholung
0:01:05 1.3.2 Das Pumping Lemma
0:03:48 Beweis Pumping Lemma
0:13:10 Hilfs Lemma
0:14:39 Anwendung Pumping Lemma
0:22:02 Faustregeln für Beweise mit dem Pumping Lemma
0:26:21 Abschlusseigenschaften
0:27:26 Abgeschlossenheit von KFG unter Vereinigungsmengen
0:29:37 Abgeschlossenheit von KFG unter Produktbildungen
0:30:38 Abgeschlossenheit von KFG unter *
0:33:25 Nichtabgeschlossenheit von KFG
0:38:23 1.3.4 Der CYK-Algorithmus ( Das Wortproblem für kontextfreie Sprachen )
0:41:07 CYK Algorithmus
0:44:29 Beispiel
0:52:24 Impementierung durch dynamische Programmierung
0:55:01 Analyse
1:00:32 1.3.5 Kellerautomaten
1:06:20 Konfiguration einer Kellermaschine
1:06:48 Funktionsweise einer Kellermaschine
1:09:07 Kellermaschine als Akzeptor
1:13:09 Beispiel

Laufzeit (hh:mm:ss)

01:21:38

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

24.11.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

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