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
- 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 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folgen 1-27
von 27
