Hallo,
das lässt sich aus der Dreieckstabelle ablesen. Jeweils die beiden Zustände zu denen ein X0 gehört sind nicht 0-äquivalent, dürfen somit nicht in eine Mengenklammer. Also in der Aufgabe ist nur x1 nicht 0-äquivalent zu allen anderen, kommt also in eine extra Klammer und der Rest in die andere. So geht man dann auch mit übrigen k-äquivalenten Zuständen vor.
Viele Grüße,
Janina(Tutorin)