Hallo,
leider nicht. Der Automat akzeptiert bspw. auch das leere Wort (s00 ist Endzustand). Laut deinem regulären Ausdruck erhalten wir durch den Teil 1(0+1)(1+0(0+1)1)* mindestens eine 1 gefolgt von einer 0 ODER einer 1, weil die Iteration nur um die nachfolgende Klammer geht, diese zwei Teile jedoch nicht enthält.
Viele Grüße
Max (Tutor)