Hey uodjt!
Ja, das wäre falsch, weil {s0}, {s3}, {s5} in der 1-Äquvalenzzeile ja gerade bedeuten würde, dass die drei Zustände nicht 1-äquivalent zueinander sind (und damit dann auch nicht 2-äquivalent usw). Das ist ja aber falsch, da sie drei Zustände sogar komplett äquivalent sind!
Ich hoffe, das hilft dir weiter!
Viele Grüße,
Janine (Tutorin)