Assertion: robot | /r/CapableOf | start running on one of the successor symbols
Facets:
Source sentences:
text: It is said that the automaton of itself for each successor and each such copy starts running on one of the successor symbols from the state according to the transition relation of the automaton.