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