Assertion: pushdown automaton | /r/HasProperty | gpda
Facets:
Source sentences:
text: Generalized pushdown automaton (GPDA) [ edit ]