Acceptance by Non-Deterministic Turing Machines

References