Category:URM Programs
Jump to navigation
Jump to search
This category contains results about URM Programs.
Definitions specific to this category can be found in Definitions/URM Programs.
The numbers held in the registers of a URM are manipulated according to a program.
A URM program is a finite sequence of basic instructions.
Pages in category "URM Programs"
The following 34 pages are in this category, out of 34 total.
C
F
N
S
- Set of Codes for URM Instructions is Primitive Recursive
- Set of Codes for URM Programs is Primitive Recursive
- Set of Total Functions is Not Recursive
- Single Instruction URM Programs
- Single Instruction URM Programs/Identity Function
- Single Instruction URM Programs/Projection Function
- Single Instruction URM Programs/Successor Function
- Single Instruction URM Programs/Zero Function
- State Code Function is Primitive Recursive
U
- Unique Code for State of URM Program
- Unique Code for URM Instruction
- Unique Code for URM Program
- Universal URM Computable Functions
- Universal URM Programs
- URM Computable Function is Recursive
- URM Computable Functions of One Variable is Countably Infinite
- URM Instructions are Countably Infinite
- URM Programs are Countably Infinite