Definition:Basic Primitive Recursive Function/Successor Function
< Definition:Basic Primitive Recursive Function(Redirected from Definition:Successor Function)
Jump to navigation
Jump to search
Definition
The successor function $\Succ: \N \to \N$ is a basic primitive recursive function, defined as:
- $\forall n \in \N: \map \Succ n = n + 1$
It is URM computable by a single-instruction URM program.