There are usually used as synonyms. In your example, the Turing Machine should first go all the way to the end of the input, and then check that the two rightmost digits are 0, as you suggest.
Yuval Filmus
- 279.1k
- 27
- 316
- 512