100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 8: Turingmaschinen
Autor
Beteiligtes Institut
Genre
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
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 bps |
| 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 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 | 687659 bps |
| 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
