Assertion: machine | /r/HasProperty | started
Facets:
Source sentences:
text: When the machine is started, the tape is blank except for some finite portion of the tape.
text: We will also have to make some assumptions about the configuration of the tape when the machine is started, and when it finishes, in order to interpret the computation.