Jump to navigation Jump to search
This category contains results about URM Programs.
Pages in category "URM Programs"
The following 32 pages are in this category, out of 32 total.
- 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
- 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