Assertion: pushdown automaton | /r/HasProperty | a type of automaton
Facets:
value: in the theory of computation
type: OTHER
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.