Acceptance by Non-Deterministic Turing Machines