KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 3: Minimierung endlicher Automaten

Autor

Hartmut Schmeck

Beteiligtes Institut

KIT-Bibliothek (BIB)

Genre

Vorlesung

Beschreibung

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit der Minimierung deterministischer endlicher Automaten ohne Ausgabe (DEA). Dabei wird untersucht, ob ein DEA ?verkleinert? werden kann, ohne dass sich die von ihm erkannte Sprache ändert. Die Aufzeichnung stellt einen Algorithmus vor, der auf dem Satz von Myhill-Nerode beruht und zu einem DEA einen äquivalenten DEA mit minimaler Zustandszahl ausgibt. Dabei werden zuerst alle nicht erreichbaren Zustände entfernt und dann durch Markierung aller Zustandspaare, die zueinander nicht äquivalent sind, redundante Zustände erkannt und entfernt. Der Algorithmus wird formal spezifiziert und anhand von Beispielen erläutert.

Laufzeit (hh:mm:ss)

01:07:22

Serie

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

Publiziert am

31.10.2013

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1024 x 768 Pixel
Seitenverhältnis 4:3
Audiobitrate 31997 bps
Audio Kanäle 1
Audio Codec aac
Audio Abtastrate 22050 Hz
Gesamtbitrate 98228 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4042 s
Dateiname 2013-744_cam.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 61095 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 910535 kbps
Farbraum bgr24
Container avi
Medientyp video/x-msvideo
Dauer 4042 s
Dateiname 2013-744_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