Assertion: robot | /r/AtLocation | transition
Facets:
Source sentences:
text: When the automaton receives new input it moves to another state (or transitions) based on a function that takes the current state and symbol as parameters.