Assertion: ram | /r/CapableOf | produce a post–turing machine
Facets:
Source sentences:
text: In the section above we informally showed that a RAM with an unbounded indirection capability produces a Post–Turing machine.