Im Zustand s1 gab es aus dem vorherigen Schritt einen Übertrag in s0 nicht.
D.h. bei s1 mit 01 ist es 0-(1+1)=1-1-1=0(1) (4. Zeile der Tabelle, in Klammern steht der Übertrag), es wird also 0 ausgegeben und ein Übertrag, man bleibt also in s1.
Bei der Eingabe 10 kommt (wieder mit dem Übertrag davor) 1-0-1 = 0 (0), also wird 0 ausgegeben und man wechselt in Zustand s0, da es keinen Übertrag mehr gibt