increment :: TransitionFunc
increment (Q "START", Zero) = (Q "DONE", One, L)
increment :: TransitionFunc
increment (Q "START", Zero) = (Q "DONE", One, L)
increment (Q "START", Zero) = (Q "DONE", One, L)