Is the Halting Problem algorithmically solvable, if we only care about TMs with less than N states, for some aribtrary but fixed N? (memory tape is still allowed to be infinite)