Assertion: rasp | /r/CapableOf | compute partial mu recursive function
Facets:
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: