goes to on input 0 and 1, since go to and respectively on 0 and 1.Similar, justifications suffice for other adjusted transitions.
goes to 
on input 0 and 1, since go to 
and 
respectively on 0 and 1.Similar, justifications suffice for other adjusted transitions.