Wichtig ist, dass du aus äquivalenten Zuständen einen neuen machst. Wenn S1 und S2 äquivalent ist kannst du den neuen Zustand S1, S2 oder S1847 oder Siuzahs nennen.
Wenn du natürlich darauf kommst, dass andere Zustände äquivalent sind als in der Lösung, muss ein Fehler unterlaufen sein.
Beim minimierten Automaten ist wichtig, dass er die gleiche Sprache erkennt, Endzustände und Zustandsübergänge sind entscheidend, nicht wie du die Zustände nennst.
Grüße,
Felix (Tutor)