Assertion: robot | /r/CapableOf | reach accepting state
Facets:
value: in f
type: LOCATION
Source sentences:
text: The pushdown automaton either accepts by final state, which means after reading its input the automaton reaches an accepting state (in F {\displaystyle F} ), or it accepts by empty stack ( ε {\displaystyle \varepsilon } ), which means after reading its input the automaton empties its stack.