Assertion: state machine | /r/HasProperty | equipped with two stacks
Facets:
Source sentences:
text: First, a Turing machine can be simulated by a finite-state machine (FSM) equipped with two stacks.