TOPICS
Search

Elementary Recursive Function


An elementary recursive function, also called a Kalmár function, is a total function f:N_0^r->N_0, where N_0 denotes the nonnegative integers, belonging to the smallest class containing the constant functions, the coordinate functions (x_1,...,x_r)|->x_i for 1<=i<=r, addition, and truncated subtraction max(x-y,0), and closed under function composition, bounded sums, and bounded products. Here max denotes the maximum. The bounded operations take an elementary recursive function g(k,x_1,...,x_r) to the functions

S(n,x_1,...,x_r)=sum_(k=0)^(n-1)g(k,x_1,...,x_r)
(1)
P(n,x_1,...,x_r)=product_(k=0)^(n-1)g(k,x_1,...,x_r),
(2)

with the empty sum equal to 0 and the empty product equal to 1. Every elementary recursive function is a primitive recursive function.

Every elementary recursive function has a finite expression using constants, variables, addition, truncated subtraction, power, and integer division |_x/(y+1)_|, where |_z_| is the floor function (Mazzanti 2002, Marchenkov 2007). The convention 0^0=1 makes the power operation total on the nonnegative integers.

A smaller collection of operations generating the same class under function composition, together with constants and the coordinate functions, consists of addition, integer remainder, and the exponential function 2^x (Prunescu et al. 2026). Here xmod0=x is used so that the remainder operation is a total function. This collection is minimal under deletion of any one of its three operations.


See also

Primitive Recursive Function, Recursive Function

Explore with Wolfram|Alpha

References

Marchenkov, S. S. "Superpositions of Elementary Arithmetic Functions." J. Appl. Indust. Math. 1, 351-360, 2007. https://doi.org/10.1134/S1990478907030106.Mazzanti, S. "Plain Bases for Classes of Primitive Recursive Functions." Math. Logic Quart. 48, 93-104, 2002. https://doi.org/10.1002/1521-3870(200201)48:1<93::AID-MALQ93>3.0.CO;2-8.Prunescu, M.; Sauras-Altuzarra, L.; and Shunia, J. M. "A Minimal Substitution Basis for the Kalmár Elementary Functions." J. Logic Comput. 36, exag010, 2026. https://doi.org/10.1093/logcom/exag010.

Cite this as:

Weisstein, Eric W. "Elementary Recursive Function." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ElementaryRecursiveFunction.html

Subject classifications