Assertion: counter machine | /r/CapableOf | equip with only four unbounded registers
Facets:
Source sentences:
text: A counter machine equipped with only four unbounded registers can e.g. multiply any two numbers ( m, n ) together to yield