Assertion: machine's input | /r/HasProperty | particular
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.