-- Runs the TM, showing the tape and state label at each stage
showTM :: TransitionFunc -> Tape -> IO ()
showTM f t = showTM' f (Q "START") t 0
showTM :: TransitionFunc -> Tape -> IO ()
showTM f t = showTM' f (Q "START") t 0
showTM f t = showTM' f (Q "START") t 0