Assertion: abacus machine | /r/CapableOf | use the successor operation
Facets:
Source sentences:
text: Uses instruction set (1-reduced) with an additional parameter to specify the next instruction: Successor machine , because it uses the 'successor operation' of, and closely resembles, the Peano axioms.