Assertion: turing machine | /r/CapableOf | halt on input
Facets:
Source sentences:
text: For instance, the problem of determining whether an arbitrary Turing machine will halt on a particular input, or on all inputs, known as the Halting problem, was shown to be, in general, undecidable in Turing's original paper.