KIT-Bibliothek
Audio-/Videodatei publizieren

100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 0: Einführung in formale Sprachen und grundlegende Notationen

Autor

Hartmut Schmeck

Beteiligtes Institut

KIT-Bibliothek (BIB)

Genre

Vorlesung

Beschreibung

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit den Grundlagen von abstrakten Modellen für informationsverarbeitende Systeme und Programmiersprachen. Es werden wesentliche formale Notationen eingeführt und es wird verstärkt auf den Begriff des Automaten und der formalen Sprachen eingegangen. Eine formale Sprache lässt sich durch Syntax, Semantik und Pragmatik beschreiben, wobei hier vor allem die Syntax betrachtet wird. Ein formales System zur Beschreibung der Syntax einer Sprache kann erzeugend, analysierend und operationell sein. Es wird der Zusammenhang zwischen Sprachen und Chomsky-Grammatiken beschrieben und die Chomsky-Hierarchie eingeführt.

Laufzeit (hh:mm:ss)

01:21:05

Serie

100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik

Publiziert am

04.11.2013

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1024 x 768 Pixel
Seitenverhältnis 4:3
Audiobitrate 31998 bps
Audio Kanäle 1
Audio Codec aac
Audio Abtastrate 22050 Hz
Gesamtbitrate 110437 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4865 s
Dateiname 2013-748_cam.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 73303 bps
Video Codec h264
Auflösung 1024 x 768 Pixel
Seitenverhältnis 4:3
Audiobitrate 32000 bps
Audio Kanäle 1
Audio Codec mp3
Audio Abtastrate 22050 Hz
Gesamtbitrate 1026922 bps
Farbraum bgr24
Container avi
Medientyp video/x-msvideo
Dauer 4865 s
Dateiname 2013-748_download.avi
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Video Codec camtasia

Mediathek-URL

Embed-Code

100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik Folgen 1-20 von 20