Definition:Unlimited Register Machine/Program/Set

Definition

It is convenient to use $\Bbb U$ to stand for the set of all URM programs.

Sources

• 1963: John C. Shepherdson and H.E. Sturgis: Computability of Recursive Functions (J. ACM Vol. 10, no. 2: pp. 217 – 255)

• 1980: N.J. Cutland: Computability: An Introduction to Recursive Function Theory