Assertion: machine's power | /r/HasProperty | equivalent
Facets:
Source sentences:
text: A Turing machine can easily simulate an FSM with two counters, therefore the two machines have equivalent power.