Acceptance by Deterministic Turing Machine