KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 23.01.2018

Autor

Torsten Ueckerdt

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

17 |
0:00:00 Starten
0:00:24 Übersicht Chomsky-2
0:03:13 WDh.: Greibach-Normalform, Kellerautomat
0:09:07 Beweis
0:47:57 Korollar
0:48:46 Exkurs
0:50:37 Zwischenfazit zu kontextfreien Grammatiken
0:53:05 Unentscheidbare Probleme für kontextfreie Grammatiken
0:55:26 Das Post'sche Korrespondenzproblem
1:03:51 Eindeutigkeit von kontextfreien Grammatiken
1:05:26 Beweisskizze
1:09:07 Sprache der korrekten Rechenwege

Laufzeit (hh:mm:ss)

01:25:38

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18

Publiziert am

25.01.2018

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 933963 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5138 s
Dateiname DIVA-2018-83_hd.mp4
Dateigröße 599.872.213 byte
Bildwiederholfrequenz 25
Videobitrate 799865 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18 Folgen 1-19 von 19