Assertion: pushdown automaton | /r/CapableOf | differ in two ways
Facets:
value: from a finite state machine
type: OTHER
Source sentences:
text: A pushdown automaton (PDA) differs from a finite state machine in two ways: