Assertion: ram | /r/HasProperty | equivalent
Facets:
Source sentences:
text: The Post–Turing machine is Turing equivalent, so we have shown that the RAM with indirection is Turing equivalent.