Assertion: robot | /r/CapableOf | start in state s1
Facets:
Source sentences:
text: The automaton starts in state S1, and transitions to the non-accepting state S2 upon reading the symbol 0.