argv_minus_one, 11 months ago Since when were Turing machines ever nondeterministic?
Since when were Turing machines ever nondeterministic?