Nondeterminism

Improved Simulation of Nondeterministic Turing Machines