Assertion: pushdown automaton | /r/ObjectUse | used in theory
Facets:
Source sentences:
text: Pushdown automata are used in theories about what can be computed by machines.