Assertion: pushdown automaton | /r/CapableOf | employ stack
Facets:
Source sentences:
text: In the theory of computation, a branch of theoretical computer science, a pushdown automaton (PDA) is a type of automaton that employs a stack.