Genau, wie du die Zustände benennst ist dir überlassen. Manche mögen es der Übersicht halber den Zustand zur Menge {s1, s2} s1,2 zu nennen, das ist allerdings nicht notwendig. Einzige Regel: dein neuer Zustandsname darf nicht der gleiche Name eines alten Zustands sein. Wenn du also {s1} wieder s1 nennen möchtest musst du z.B. noch einen Strich oder eine Tilde hinzufügen (s1')