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