ELEMENTARY - Definition


The definitions of elementary recursive functions are the same as for primitive recursive functions, except that primitive recursion is replaced by bounded summation and bounded product. All functions work over the natural numbers. The basic functions, all of them elementary recursive, are:

  1. Zero function. Returns zero: f(x) = 0.
  2. Successor function: f(x) = x + 1. Often this is denoted by S, as in S(x). Via repeated application of a successor function, one can achieve addition.
  3. Projection functions: these are used for ignoring arguments. For example, f(a, b) = a is a projection function.
  4. Subtraction function: f(x, y) = x - y if y < x, or 0 if yx. This function is used to define conditionals and iteration.

From these basic functions, we can build other elementary recursive functions.

  1. Composition: applying values from some elementary recursive function as an argument to another elementary recursive function. In f(x1, ..., xn) = h(g1(x1, ..., xn), ..., gm(x1, ..., xn)) is elementary recursive if h is elementary recursive and each gi is elementary recursive.
  2. Bounded summation: is elementary recursive if g is elementary recursive.
  3. Bounded product: is elementary recursive if g is elementary recursive.

Read more about this topic:  ELEMENTARY

Other articles related to "definition, definitions":

Definition - In Medicine
... In medical dictionaries, definitions should to the greatest extent possible be simple and easy to understand, preferably even by the general public useful clinically or in related areas ...
Definition of Dietary Fiber
... fiber was defined to be the components of plants that resist human digestive enzymes, a definition that includes lignin and polysaccharides ... The definition was later changed to also include resistant starches, along with inulin and other oligosaccharides ... Official definition of dietary fiber differs a little among different institutions Organization (reference) Definition Institute of Medicine Dietary fiber ...
Sustainable Development - Definition
... the Brundtland Report, which included what is now one of the most widely recognised definitions "Sustainable development is development that meets the needs of the present without compromising the ability of future ... It offers an integrated vision and definition of strong sustainability ... It generates a more nuanced definition of sustainable development “the need to ensure a better quality of life for all, now and into the future, in a just and equitable manner ...
ESPN - High Definition
... ESPN launched its 720p high-definition simulcast, originally branded as ESPNHD, on March 20, 2001 ... Live studio shows, along with most live events on ESPN, use high definition ... sources is presented in a standard definition, 43 format with stylized pillarboxes ...
Pashtun People - Pashtuns Defined
... These three definitions may be described as the ethno-linguistic definition, the religious-cultural definition, and the patrilineal definition, respectively ...

Famous quotes containing the word definition:

    The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.
    Samuel Taylor Coleridge (1772–1834)

    Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?
    Richard Eberhart (b. 1904)

    ... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.
    Adrienne Rich (b. 1929)