5 ms·
You merely defined halting problem. You did not argue the following: Turing machine X can produce programs that meets certain specifications => Turing machine
by meridional 10y ago
You merely defined halting problem. You did not argue the following:
Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.