Assertion: robot | /r/AtLocation | accepting state
Facets:
Source sentences:
text: If, when the automaton has finished reading, it is in an accepting state, the NFA is said to accept the string, otherwise it is said to reject the string.