beim Übergang steht ja immer $ab,c$
dabei gilt $a - b = c$
der Zustand s0 bedeutet, dass es danach keinen Übertrag gibt; der Zustand s1 steht jedoch für den Übertrag.
deswegen gilt ohne Übertrag:
0-0=0 kein Übertrag
1-0=1 kein Übertrag
1-1=0 kein Übertrag
0-1=1 wechsle in Übertrag
bei Übertrag gilt dann:
0-0=1 Übertrag
1-1=1 Übertrag
0-1=0 Übertrag
1-0=0 wechsle in kein Übertrag
hoffentlich ist das jetzt klarer...