Assertion: counter machine | /r/HasProperty | simulated by a 2cm two-counter machine
Facets:
Source sentences:
text: "Theorem: A counter machine can be simulated by a 2CM [two-counter machine], provided an obscure coding is accepted for the input and output