[orlp]

Yes. But there is no decider for n-state Turing machines that works regardless of n.