4 ms·
What do you mean by "subject to the halting problem"? There are plenty of Turing machines that can be proven to halt. The halting problem doesn't say "given an
by umanwizard 8y ago
What do you mean by "subject to the halting problem"? There are plenty of Turing machines that can be proven to halt.
The halting problem doesn't say "given any Turing machine, no algorithm can determine whether it halts". It says "no algorithm can determine whether any given Turing machine halts".