Definition 8.3.3: a run of a RASP i1, i2, , im with input
1km, ik = HALT (i.e., k = m) and _i is the last ID in the run, or
1k
k<1 or k>m, and _j = _i for all ji this is called an abort (representing it as an infinite but unchanging run is intended to signify there is no result).
Previous slide | Next slide | Back to first slide | View graphic version |