KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 8: Turingmaschinen

Autor

Hartmut Schmeck

Beteiligtes Institut

KIT-Bibliothek (BIB)

Genre

Vorlesung

Beschreibung

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit dem Berechnungsmodell der Turingmaschinen, die eine weitere Verallgemeinerung der endlichen Automaten bzw. der Kellerautomaten darstellen. Turingmaschinen steht ein aus unendlich vielen Feldern bestehendes Arbeitsband zur Verfügung, das sequentiell abgelaufen und an beliebigen Positionen gelesen und beschrieben werden kann. Dazu wird ein Schreib-/Lesekopf auf dem Band hin und her bewegt, der das Bandfeld direkt unter sich lesen und verändern kann. Turingmaschinen werden als Akzeptoren der Typ-0-Sprachen sowie zur Berechnung von Funktionen eingeführt. In einer eingeschränkten Version, bei der nur auf linear viele Bandzellen in Abhängigkeit von der Eingabelänge zugegriffen werden kann, ist die Turingmaschine ein sog. Linear beschränkter Automat (LBA) und akzeptiert genau die Typ-1-Sprachen.

Laufzeit (hh:mm:ss)

01:01:43

Serie

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

Publiziert am

24.10.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 94538 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 3703 s
Dateiname 2013-722_cam.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 57403 kbps
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 687659 kbps
Farbraum bgr24
Container avi
Medientyp video/x-msvideo
Dauer 3703 s
Dateiname 2013-722_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