Comment by nodogoto

The Collatz conjecture is undecidable, so no Turing machine like you describe exists.