decrement :: TransitionFunc
decrement (Q "START", Zero) = (Q "START", One, R)
decrement :: TransitionFunc
decrement (Q "START", Zero) = (Q "START", One, R)
decrement (Q "START", Zero) = (Q "START", One, R)