Assertion: robot | /r/CapableOf | use the state transition function
Facets:
value: to determine the next state
type: PURPOSE
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.