Folien

2.89 eine lange Überlegung
◮ DEA M = (ZM, z0M, X , fM, FM) sei gegeben.
◮ Zustandsminimierung: suche Einteilung der Zustände von M in
möglichst wenige Äquivalenzklassen zu finden, so dass
◮ man Zustände aus verschiedenen Klassen wirklich
unterscheiden muss,
◮ aber Zustände aus der gleichen Klasse nicht.
◮ Algorithmus findet die geeignete Äquivalenzrelation in
mehreren Schritten.
◮ Er beginnt mit sehr grober Äquivalenzrelation ≡0 und
◮ verfeinert diese zu Äquivalenzrelationen ≡1, ≡2, usw., bis das
Ziel erreicht ist.
Zustandsminimierung endlicher Automaten 116/124