Assertion: counter machine | /r/CapableOf | simulate a turing machine
Facets:
Source sentences:
text: "Theorem: A three-counter machine can simulate a Turing machine" (p. 2, also cf Minsky 1967:170-174)