Assertion: deterministic finite automaton | /r/HasProperty | powerful device
Facets:
Source sentences:
text: A finite automaton with access to two stacks is a more powerful device, equivalent in power to a Turing machine.:171