palindrome :: TransitionFunc
palindrome (Q "START", Zero) = (Q "ZERO", Blank, R)
palindrome :: TransitionFunc
palindrome (Q "START", Zero) = (Q "ZERO", Blank, R)
palindrome (Q "START", Zero) = (Q "ZERO", Blank, R)