Assertion: machine | /r/HasProperty | directed to a stop state
Facets:
Source sentences:
text: When the machine reads a blank symbol, the machine is directed to a stop state and the program terminates.