Assertion: counter machine | /r/HasProperty | turing
Facets:
Source sentences:
text: Two-counter machines are Turing equivalent (with a caveat) [ edit ]