Assertion: pushdown automaton | /r/CapableOf | choose transition
Facets:
value: by indexing a table
type: MANNER
value: in each step
type: TEMPORAL
Source sentences:
text: In each step, it chooses a transition by indexing a table by input symbol, current state, and the symbol at the top of the stack.