Assertion: pushdown automaton | /r/HasProperty | apda
Facets:
Source sentences:
text: An alternating pushdown automaton (APDA) is a pushdown automaton with a state set