A Turing machine that, starting anywhere on the tape, halts if and only if there is a stroke somewhere on the tape.
There is such a machine, correct? I think I’ve designed one that accomplishes the above, but I want to make sure there’s not something I’m missing.
The one I have designed starts by creating a string “1, 0, 1” on the tape (halting of course if there was already a stroke on any of those three spaces) then using the two external strokes as guides for a process of scanning the spaces just to the left of the leftmost stroke and just to the right of the rightmost stroke. On finding a stroke, it halts. On finding a blank, it moves the relevant extreme stroke over one, then repeats the process.
(I don’t mean it scans both extremes on each pass, just that it goes back and forth between scanning one space past the left extreme, taking the appropriate action, then scanning one space past the left extreme, taking the appropriate action, and so on.)
That’d work, right?