Brzozowskis Algorithmus zum Umwandeln eines DFA in einen äquivalenten DFA mit minimalem Zustand ist bemerkenswert einfach: Wenn die NFA bezeichnet, die durch Umkehren aller Kanten in einem DFA wird, wird der alte Startzustand zu einem akzeptierenden Zustand und der alte akzeptierende Zustand Zustände beginnen Zustände, und wenn die Teilmenge Aufbau des NFA des Anwendens die Folge bezeichnet , dann ist ein Minimum-state DFA mit derselben Sprache wie .
Wir können uns einen DFA als ein Rechengerät vorstellen, das eine Eingabezeichenfolge akzeptiert und dann 0 ausgibt, wenn in einem zurückweisenden Zustand endet, und 1, wenn in einem akzeptierenden Zustand endet. Eine natürliche Verallgemeinerung von DFAs assoziierte jeden Zustand im DFA mit einer natürlichen Zahl zwischen 0 und einschließlich .
Nach meinem besten Wissen ist es möglich, diese modifizierten Klassen von DFAs mithilfe eines auf Unterscheidbarkeit basierenden Minimierungsalgorithmus wie dem kanonischen von Hopcroft zu minimieren. Ich kann jedoch nicht sehen, wie es möglich wäre, Brzozowskis Minimierungsalgorithmus an diese neue Klasse von Automaten anzupassen, da der Schlüsselschritt (Umkehren des Automaten) in dieser verallgemeinerten Einstellung keine klare Interpretation mehr hat.
Gibt es eine bekannte Verallgemeinerung des Brzozowski-Algorithmus zur Minimierung dieser Art von Automaten? Wenn nicht, gibt es theoretische Gründe, warum wir erwarten würden, dass ein derart modifizierter Algorithmus nicht existieren würde?