Solvability of the halting problem for certain classes of Turing machines