L10: Equivalence of non-deterministic and deterministic TMs

Published: Oct. 25, 2011, 7 a.m.

b'Detailed proof of the equivalence of non-determinisitc TMs and deterministic TMs.'