Assertion: turing machine | /r/CapableOf | expect string
Facets:
value: on its tape
type: LOCATION
Source sentences:
text: Thus we can construct a Turing machine that expects on its tape a string describing an action table followed by a string describing the input tape, and computes the tape that the encoded Turing machine would have computed.