moveUntilZero :: TransitionFunc
moveUntilZero (Q "START", One) = (Q "START", One, R)
moveUntilZero :: TransitionFunc
moveUntilZero (Q "START", One) = (Q "START", One, R)
moveUntilZero (Q "START", One) = (Q "START", One, R)