Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08
Author
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 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
Duration (hh:mm:ss)
01:21:38
Series
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Published on
24.11.2015
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 108707 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 914725 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4898 s |
| Filename | DIVA-2015-808_hd.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 799923 bps |
| Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Episodes 1-27
of 27
