Decider Turing Machine