Im Kapitel 1.5 wird ein Algorithmus vorgestellt, mit dessen Hilfe aus einem DEA ein äquivalenter minimierter Automat erzeugt wird. Dieser soll in dieser Aufgabe in Java implementiert werden.
Implementieren Sie die folgende Methode:
- void unterscheidbareZustaende(Set<Pair<S, S>> u):
Sie soll den Algorithmus von Seite 19 des Skriptes realisieren. Alle Paare, die aus einem Endzustand und einem Nicht-Endzustand bestehen sind dabei bereits in u enthalten. Der Algorithmus ist also ab Zeile 4 umzusetzen.
- Set<Set<S>> minimierteZustaende()
Jetzt, da aus der vorherigen Methode alle Paare von unterscheidbaren Zuständen bekannt sind, lässt sich die Menge alle Äquivalenzklassen von Zuständen berechnen.
Als Beispiel ist der Automat aus dem Skript formuliert.