successor function
successor function
1. The function SUCC that occurs in programming languages such as Ada or Pascal and produces the next element of an enumeration type. Typically SUCC(4) produces 5 SUCC(`A') produces `B'
2. The function S : N → N for which S(n) = n + 1
where N is the nonnegative integers. S plays a crucial role in recursive function theory, particularly in the definition of primitive recursive functions.
1. The function SUCC that occurs in programming languages such as Ada or Pascal and produces the next element of an enumeration type. Typically SUCC(4) produces 5 SUCC(`A') produces `B'
2. The function S : N → N for which S(n) = n + 1
where N is the nonnegative integers. S plays a crucial role in recursive function theory, particularly in the definition of primitive recursive functions.
More From encyclopedia.com
You Might Also Like
NEARBY TERMS
successor function