Definition:Unlimited Register Machine/Operation/Stage
Jump to navigation
Jump to search
Definition
The stage of computation (or just stage) of a URM program is the count of how many instructions have been executed.
Thus each stage corresponds to the processing of one instruction.
Also see
- Results about unlimited register machines can be found here.
Sources
- 1963: John C. Shepherdson and H.E. Sturgis: Computability of Recursive Functions (J. ACM Vol. 10, no. 2: pp. 217 – 255)