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

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.