Assertion: turing machine | /r/CapableOf | simulate fsm
Facets:
value: with two counters
type: OTHER
value: easily
type: MANNER
Source sentences:
text: A Turing machine can easily simulate an FSM with two counters, therefore the two machines have equivalent power.