Assertion: pointer register | /r/HasProperty | unbounded
Facets:
value: the ram,
type: OTHER
Source sentences:
text: If the pointer-register is unbounded, the RAM, and a suitable RASP built on its chassis, will be Turing equivalent.