KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

Autor

Dorothea Wagner, Jonas Sauer, Guido Brückner

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

16 |
0:00:00 Start
0:00:21 Letzte Vorlesung
0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
0:11:54 Kellerautomaten
0:15:10 Beispiel - Greibach-Normalform
0:18:13 Beipiel - Kellerautomat
0:21:23 Beweis: Greibach-Normalform -> NPDA
0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
0:52:53 Zwischenfazit zu kontextfreien Grammatiken
0:59:24 Das Post´sche Korrespondenzproblem
1:06:53 Eindeutigkeit von kontextfreien Grammatiken
1:10:13 Sprache der Korrekten Rechenwege

Laufzeit (hh:mm:ss)

01:30:51

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20

Publiziert am

24.01.2020

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20 Folgen 1-18 von 18