Assertion: robot | /r/CapableOf | use current state
Facets:
Source sentences:
text: The automaton uses the state transition function Δ to determine the next state using the current state, and the symbol just read or the empty string.