Algorithms

Improved Simulation of Nondeterministic Turing Machines