Assertion: rasp | /r/HasProperty | equivalent
Facets:
value: turing
type: OTHER
Source sentences:
text: The problem appears most dramatically when one tries to use a counter-machine model to build a RASP that is Turing equivalent and thus compute any partial mu recursive function: