Assertion: robot | /r/CapableOf | empty its stack
Facets:
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.