Assertion: robot | /r/CapableOf | follow transition
Facets:
value: to another state
type: TRANSITIVE-OBJECT
value: given an input symbol
type: OTHER
Source sentences:
text: Put together: Given an input symbol, current state, and stack symbol, the automaton can follow a transition to another state, and optionally manipulate (push or pop) the stack.