Assertion: algorithm | /r/HasProperty | instruction
Facets:
value: for a turing machine
type: TRANSITIVE-OBJECT
Source sentences:
text: Does Sipser mean that "algorithm" is just "instructions" for a Turing machine, or is the combination of "instructions + a (specific variety of) Turing machine"?