A cabeça de uma máquina de Turing pode alguma vez estar na mesma localização em dois passos sucessivos?

não sei 

Podemos dizer que se trata de um modelo abstrato de computador, que é restringido apenas aos aspectos lógicos do funcionamento do computador, sendo a memória, estados e transições, e não a sua implementação física em si.

Em uma máquina de Turing é possível modelar qualquer tipo de computador que seja digital.