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
Primitive Recursion , primitive recursive function A function that can be obtained from certain initial functions by a finite number of applications of composition and pri… Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed… functional , functional •annal, channel, flannel, impanel, multichannel, panel •cracknel •grapnel, shrapnel •carnal •antennal, crenel, fennel, kennel •regnal •ana… Teleology , The term teleology locates a series of connected philosophical questions. If we grant that there is such a thing as purposive or goal-directed activi… Adhesion And Cohesion , adhesion •abrasion, Australasian, equation, Eurasian, evasion, invasion, occasion, persuasion, pervasion, suasion, Vespasian •adhesion, cohesion, Fri… Function , A function is a mathematical relationship between two sets of real numbers. These sets of numbers are related to each other by a rule that assigns ea…
You Might Also Like
NEARBY TERMS
successor function