Deciding whether the universal machine will ever halt on a particular input. I.e. the good old halting problem.
Deciding whether the universal machine will ever halt on a particular input. I.e. the good old halting problem.