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