Recursion

From Wikipedia, the free encyclopedia
Jump to: navigation, search
A visual form of recursion is the Droste effect. It leads to self-similar images.

Recursion is a word from mathematics and computer science. It is used to define a thing, such as a function or a set. A recursive definition uses the thing it is defining as part of the definition.

Description[change | change source]

Usually, a recursive function refers to itself in some cases (or inputs), but not in every case. A function that referred to itself in every case would never terminate.

When a function refers to itself, it often uses a smaller input than the input it was given. In this way, it can solve a problem by first solving a simpler version of the problem.

Example[change | change source]

An example of a recursive function is:

  • If then return .
  • If then return .

This function computes the factorial of a natural number. It works because and .

The definition has two cases: a recursive case for , and a case for that is not recursive. The case that is not recursive is called a "base case".

Uses[change | change source]

Recursion can be used to write computer programs. A program that uses recursion may be easier to write and understand than a program that does the same thing without recursion.

Recursion is used in mathematics to prove theorems. This method is called induction.

The idea of recursion can be seen in art and language. For example:

  • A fractal image contains smaller versions of itself.
  • In the rules of grammar, a sentence can be part of another sentence.