Definition:Unlimited Register Machine/Null Program

Definition

The null URM program is a URM program which contains no instructions.

That is, a URM program whose length is zero.

Also known as

The null (URM) program is also known as the empty (URM) program.

Also see

• Null URM Program is Unique

• Results about the null URM program 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)

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