Definition:Unlimited Register Machine/Program/Set
< Definition:Unlimited Register Machine | Program(Redirected from Definition:Set of All URM Programs)
Jump to navigation
Jump to search
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)