Hallo,
der Fall dass man von $s_1$ wieder in $s_0$ kommt wird im ersten Teil des Ausdrucks abgedeckt.
Im zweiten Teil gelangt man mit einer $0$ von $s_0$ nach $s_1$, danach kann man mit einer $1$ direkt zu $s_4$ wechseln, oder mit $10$ über $s_3$ zu $s_4$. Wenn man gar nichts mehr eingibt, bleibt man in $s_1$ und ist somit in jedem Fall in einem Endzustand.
Viele Grüße
Julia (Tutor)