Turing Machines

Exact computation of the number of accepting paths of an NTM

Improved Simulation of Nondeterministic Turing Machines