Hallo,
die Benennung der Zustände ist prinzipiell dir überlassen. Du kannst ihn auch s1, s2, s3 nennen.
Die Denkweise hier ist lediglich, die Binäre Zählweise, bedeutet
s01 = 01 binär = 1(x eine 1),
s10 = 10 binär =2(x eine 1 hintereinander),
s00 =00 binär = keine 1 zuvor geschrieben, da es hier um das "hochzählen" von aufeinanderfolgenden Einsen geht.
Aber wie gesagt die Benennung der Zustände ist prinzipiell dir überlassen und solange der Rest stimmt, nie falsch (sofern du keinen Zustand gleich benennst wie einen anderen Zustand in deinem Diagramm).
Viele Grüße,
Marc (Tutor)