100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 3: Minimierung endlicher Automaten
Autor
Beteiligtes Institut
Genre
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
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 bps |
| 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 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 | 910535 bps |
| 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
