Assertion: robot | /r/CapableOf | jump to state s
Facets:
value: deterministically
type: MANNER
Source sentences:
text: For example, if the automaton is currently in state S 0 and the current input symbol is 1, then it deterministically jumps to state S 1 .