Assertion: algorithm's set | /r/HasProperty | the machine’s instructions
Facets:
Source sentences:
text: After providing us with his definition, Stone introduces the Turing machine model and states that the set of five-tuples that are the machine’s instructions are “an algorithm ... known as a Turing machine program” (p. 9).