Definition 8.3.4: an n-ary partial function f on the natural numbers is RASP-computable if there is a RASP p = i1, i2, … , im so that a run of p with input
RASP execution is understood as the familiar “fetch and execute” cycle used in electronic computers. The ic designates an instruction whose execution causes changes to the registers (including the ic) and memory, and instruction execution continues unless a halt instruction or “jam” is encountered.
Previous slide | Next slide | Back to first slide | View graphic version |