Hallo,
Sie sprechen vermutlich von deterministischen endlichen Automaten. Für diese ist die Anzahl der Kanten gleich der Anzahl der Zustände mal der Anzahl der Eingabezeichen - es macht also keinen Sinn, die Kantenanzahl minimieren zu wollen. Wenn durch den Minimierungsalgorithmus kein Zustand wegfällt, dann war der zu minimierende Automat schon minimal.
Viele Grüße
Lukas König, Friederike Pfeiffer-Bohnen