Global Information Lookup Global Information

Recursive definition information


Four stages in the construction of a Koch snowflake. As with many other fractals, the stages are obtained via a recursive definition.

In mathematics and computer science, a recursive definition, or inductive definition, is used to define the elements in a set in terms of other elements in the set (Aczel 1977:740ff). Some examples of recursively-definable objects include factorials, natural numbers, Fibonacci numbers, and the Cantor ternary set.

A recursive definition of a function defines values of the function for some inputs in terms of the values of the same function for other (usually smaller) inputs. For example, the factorial function n! is defined by the rules

This definition is valid for each natural number n, because the recursion eventually reaches the base case of 0. The definition may also be thought of as giving a procedure for computing the value of the function n!, starting from n = 0 and proceeding onwards with n = 1, 2, 3 etc.

The recursion theorem states that such a definition indeed defines a function that is unique. The proof uses mathematical induction.[1]

An inductive definition of a set describes the elements in a set in terms of other elements in the set. For example, one definition of the set of natural numbers is:

  1. 1 is in
  2. If an element n is in then n + 1 is in
  3. is the smallest set satisfying (1) and (2).

There are many sets that satisfy (1) and (2) – for example, the set {1, 1.649, 2, 2.649, 3, 3.649, …} satisfies the definition. However, condition (3) specifies the set of natural numbers by removing the sets with extraneous members.

Properties of recursively defined functions and sets can often be proved by an induction principle that follows the recursive definition. For example, the definition of the natural numbers presented here directly implies the principle of mathematical induction for natural numbers: if a property holds of the natural number 0 (or 1), and the property holds of n + 1 whenever it holds of n, then the property holds of all natural numbers (Aczel 1977:742).

  1. ^ Henkin, Leon (1960). "On Mathematical Induction". The American Mathematical Monthly. 67 (4): 323–338. doi:10.2307/2308975. ISSN 0002-9890. JSTOR 2308975.

and 23 Related for: Recursive definition information

Request time (Page generated in 0.8117 seconds.)

Recursive definition

Last Update:

In mathematics and computer science, a recursive definition, or inductive definition, is used to define the elements in a set in terms of other elements...

Word Count : 1584

Recursion

Last Update:

answer A recursive step — a set of rules that reduces all successive cases toward the base case. For example, the following is a recursive definition of a...

Word Count : 3645

Definition

Last Update:

noted that some definitions are "legal" or "coercive" – their object is to create or alter rights, duties, or crimes. A recursive definition, sometimes also...

Word Count : 3880

Primitive recursive function

Last Update:

In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer program whose loops are all...

Word Count : 7078

Recursive data type

Last Update:

two types. This mutually recursive definition can be converted to a singly recursive definition by inlining the definition of a forest: t: v [t[1], ...

Word Count : 1170

General recursive function

Last Update:

Church–Turing thesis). The μ-recursive functions are closely related to primitive recursive functions, and their inductive definition (below) builds upon that...

Word Count : 2748

Tail call

Last Update:

target of a tail is the same subroutine, the subroutine is said to be tail recursive, which is a special case of direct recursion. Tail recursion (or tail-end...

Word Count : 4209

Binary tree

Last Update:

child and the right child. That is, it is a k-ary tree with k = 2. A recursive definition using set theory is that a binary tree is a tuple (L, S, R), where...

Word Count : 5083

Recursive least squares filter

Last Update:

Recursive least squares (RLS) is an adaptive filter algorithm that recursively finds the coefficients that minimize a weighted linear least squares cost...

Word Count : 2407

Power set

Last Update:

_{k=0}^{n}{\binom {n}{k}}} If S is a finite set, then a recursive definition of P(S) proceeds as follows: If S = {}, then P(S) = { {} }. Otherwise...

Word Count : 2425

Rose tree

Last Update:

"multidigraph". In a correspondence to the types of entities used in the recursive definition, each node of an apq is assigned a type (1), (2a), (2b), (2c) or...

Word Count : 3120

Ordered pair

Last Update:

entries of an ordered pair can be other ordered pairs, enabling the recursive definition of ordered n-tuples (ordered lists of n objects). For example, the...

Word Count : 3775

Mutual recursion

Last Update:

the children. This mutually recursive definition can be converted to a singly recursive definition by inlining the definition of a forest: t: v [t[1], ...

Word Count : 2013

Pfaffian

Last Update:

Pfaffian of a skew-symmetric 2n×2n matrix A with n > 0 can be computed recursively as pf ⁡ ( A ) = ∑ j = 1 j ≠ i 2 n ( − 1 ) i + j + 1 + θ ( i − j ) a i...

Word Count : 3825

Computable function

Last Update:

machines, register machines, lambda calculus and general recursive functions. Before the precise definition of computable function, mathematicians often used...

Word Count : 3393

Recursive acronym

Last Update:

A recursive acronym is an acronym that refers to itself, and appears most frequently in computer programming. The term was first used in print in 1979...

Word Count : 1725

Priority encoder

Last Update:

6-LUT, hence an entire ALM. An open-source Verilog generator for the recursive priority-encoder is available online. A behavioral description of priority...

Word Count : 933

Von Neumann universe

Last Update:

into the definition of the rank of a set gives a self-contained recursive definition: The rank of a set is the smallest ordinal number strictly greater...

Word Count : 2809

Ackermann function

Last Update:

examples of a total computable function that is not primitive recursive. All primitive recursive functions are total and computable, but the Ackermann function...

Word Count : 6780

Laguerre polynomials

Last Update:

few Laguerre polynomials: One can also define the Laguerre polynomials recursively, defining the first two polynomials as L 0 ( x ) = 1 {\displaystyle L_{0}(x)=1}...

Word Count : 5768

Bernoulli number

Last Update:

numbers that is more efficient than the one given by their original recursive definition: ( m + 3 m ) B m = { m + 3 3 − ∑ j = 1 m 6 ( m + 3 m − 6 j ) B m...

Word Count : 12958

Tetration

Last Update:

}}n>0\end{cases}}} The recursive definition is equivalent to repeated exponentiation for natural heights; however, this definition allows for extensions...

Word Count : 5999

Circular definition

Last Update:

Self-reference Self-refuting idea Recursive definition Revision theory Tautology Vicious circle principle "Circular Definition". Glossary of Linguistic Terms...

Word Count : 1545

PDF Search Engine © AllGlobal.net