Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08
Autor
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
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
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 bps |
| 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 bps |
| Video Codec | h264 |
Embed-Code
