Added to Favorites

Related Searches

Recursion, in mathematics and computer science, is a method of defining functions in which the function being defined is applied within its own definition. The term is also used more generally to describe a process of repeating objects in a self-similar way. For instance, when the surfaces of two mirrors are almost parallel with each other the nested images that occur are a form of recursion.

In mathematics and computer science, recursion specifies (or constructs) a class of objects or methods (or an object from a certain class) by defining a few very simple base cases or methods (often just one), and defining rules to break down complex cases into simpler cases.

For example, the following is a recursive definition of person's ancestors:

- One's parents are one's ancestors (base case).
- The parents of one's ancestors are also one's ancestors (recursion step).

It is convenient to think that a recursive definition defines objects in terms of "previously defined" objects of the class to define.

Definitions such as these are often found in mathematics. For example, the formal definition of natural numbers in set theory is: 1 is a natural number, and each natural number has a successor, which is also a natural number.

Here is another, perhaps simpler way to understand recursive processes:

- Are we done yet? If so, return the results. Without such a termination condition a recursion would go on forever.
- If not, simplify the problem, solve the simpler problem(s), and assemble the results into a solution for the original problem. Then return that solution.

A more humorous illustration goes: "In order to understand recursion, one must first understand recursion." Or perhaps more accurate is the following, from Andrew Plotkin: "If you already know what recursion is, just remember the answer. Otherwise, find someone who is standing closer to Douglas Hofstadter than you are; then ask him or her what recursion is."

Examples of mathematical objects often defined recursively are functions, sets, and especially fractals.

The use of recursion in linguistics, and the use of recursion in general, dates back to the ancient Indian linguist Pāṇini in the 5th century BC, who made use of recursion in his grammar rules of Sanskrit.

Linguist Noam Chomsky theorizes that unlimited extension of a language such as English is possible only by the recursive device of embedding sentences in sentences. Thus, a chatty person may say, "Dorothy, who met the wicked Witch of the West in Munchkin Land where her wicked Witch sister was killed, liquidated her with a pail of water." Clearly, two simple sentences — "Dorothy met the Wicked Witch of the West in Munchkin Land" and "Her sister was killed in Munchkin Land" — can be embedded in a third sentence, "Dorothy liquidated her with a pail of water," to obtain a very verbose sentence.

However, if "Dorothy met the Wicked Witch" can be analyzed as a simple sentence, then the recursive sentence "He lived in the house Jack built" could be analyzed that way too, if "Jack built" is analyzed as an adjective, "Jack-built", that applies to the house in the same way "Wicked" applies to the Witch. "He lived in the Jack-built house" is unusual, perhaps poetic sounding, but it is not clearly wrong.

The idea that recursion is the essential property that enables language is challenged by linguist Daniel Everett in his work Cultural Constraints on Grammar and Cognition in Pirahã: Another Look at the Design Features of Human Language in which he hypothesizes that cultural factors made recursion unnecessary in the development of the Pirahã language. This concept challenges Chomsky's idea and accepted linguistic doctrine that recursion is the only trait which differentiates human and animal communication and is currently under intense debate.

Recursion in linguistics enables 'discrete infinity' by embedding phrases within phrases of the same type in a hierarchical structure. Without recursion, language does not have 'discrete infinity' and cannot embed sentences into infinity (with a 'Russian doll' effect). Everett contests that language must have discrete infinity, and that the Piraha language - which he claims lacks recursion - is in fact finite. He likens it to the finite game of Chess, which has a finite number of moves but is nevertheless very productive, with novel moves being discovered throughout history.

E.g., shampoo directions:

1. Lather

2. Rinse

3. Repeat

To understand recursion, one must recognize the distinction between a procedure and the running of a procedure. A procedure is a set of steps that are to be taken based on a set of rules. The running of a procedure involves actually following the rules and performing the steps. An analogy might be that a procedure is like a menu in that it is the possible steps, while running a procedure is actually choosing the courses for the meal from the menu.

A procedure is recursive if one of the steps that makes up the procedure calls for a new running of the procedure. Therefore a recursive four course meal would be a meal in which one of the choices of appetizer, salad, entrée, or dessert was an entire meal unto itself. So a recursive meal might be potato skins, baby greens salad, chicken Parmesan, and for dessert, a four course meal, consisting of crab cakes, Caesar salad, for an entrée, a four course meal, and chocolate cake for dessert, so on until each of the meals within the meals is completed.

A recursive procedure must complete every one of its steps. Even if a new running is called in one of its steps, each running must run through the remaining steps. What this means is that even if the salad is an entire four course meal unto itself, you still have to eat your entrée and dessert.

- Recursion

- See "Recursion".

Another example occurs in Kernighan and Ritchie's "The C Programming Language." The following index entry is found on page 269:

- recursion 86, 139, 141, 182, 202, 269

This is a parody on references in dictionaries, which in some careless cases may lead to circular definitions. Jokes often have an element of wisdom, and also an element of misunderstanding. This one is also the second-shortest possible example of an erroneous recursive definition of an object, the error being the absence of the termination condition (or lack of the initial state, if looked at from an opposite point of view). Newcomers to recursion are often bewildered by its apparent circularity, until they learn to appreciate that a termination condition is key. A variation is:

- Recursion

- If you still don't get it, See: "Recursion".

which actually does terminate, as soon as the reader "gets it".

Other examples are recursive acronyms, such as GNU, PHP or HURD.

- Example: the natural numbers

The canonical example of a recursively defined set is given by the natural numbers:

- 1 is in $mathbb\{N\}$

- if n is in $mathbb\{N\}$, then n + 1 is in $mathbb\{N\}$

- The set of natural numbers is the smallest set of real numbers satisfying the previous two properties.

- Example: The set of true reachable propositions

Another interesting example is the set of all true "reachable" propositions in an axiomatic system.

- if a proposition is an axiom, it is a true reachable proposition.
- if a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition.
- The set of true reachable propositions is the smallest set of reachable propositions satisfying these conditions.

This set is called 'true reachable propositions' because: in non-constructive approaches to the foundations of mathematics, the set of true propositions is larger than the set recursively constructed from the axioms and rules of inference. See also Gödel's incompleteness theorems.

(Note that determining whether a certain object is in a recursively defined set is not an algorithmic task.)

A famous recursive function is the Ackermann function which, unlike the Fibonacci sequence, cannot be expressed without recursion.

This sounds unexciting, but this type of proof is the normal way to prove that a calculation is impossible. This can often save a lot of time. For example, this type of proof was used to prove that the area of a circle is not a simple ratio of its diameter, and that no angle can be trisected with compass and straightedge -- both puzzles that fascinated the ancients.

A common method of simplification is to divide a problem into subproblems of the same type. As a computer programming technique, this is called divide and conquer and is key to the design of many important algorithms, as well as being a fundamental part of dynamic programming.

Recursion in computer programming is exemplified when a function is defined in terms of itself. One example application of recursion is in parsers for programming languages. The great advantage of recursion is that an infinite set of possible sentences, designs or other data can be defined, parsed or produced by a finite computer program.

Recurrence relations are equations to define one or more sequences recursively. Some specific kinds of recurrence relation can be "solved" to obtain a non-recursive definition.

A classic example of recursion is the definition of the factorial function, given here in C code:

unsigned int factorial(unsigned int n)

{

if (n <= 1) return 1;

return n * factorial(n-1);

}

The function calls itself recursively on a smaller version of the input (n - 1) and multiplies the result of the recursive call by n, until reaching the base case, analogously to the mathematical definition of factorial.

Use of recursion in an algorithm has both advantages and disadvantages. The main advantage is usually simplicity. The main disadvantage is often that the algorithm may require large amounts of memory if the depth of the recursion is very large. It has been claimed that recursive algorithms are easier to understand because the code is shorter and is closer to a mathematical definition, as seen in these factorial examples.

It is often possible to replace a recursive call with a simple loop, as the following example of factorial shows:

unsigned int factorial(unsigned int n) {

if (n <= 1) return 1;

unsigned int result = n;

while (--n) result *= n;

return result;

}

It should be noted that on most CPUs the above examples give correct results only for small values of n, due to arithmetic overflow.

An example of a recursive algorithm is a procedure that processes (does something with) all the nodes of a tree data structure:

void ProcessTree(node x) {

unsigned int i = 0;

while (i < x.count) {

ProcessTree(x.children[i]);

i++;}

ProcessNode(x); // now perform the operation with the node itself

}

To process the whole tree, the procedure is called with a root node representing the tree as an initial parameter. The procedure calls itself recursively on all child nodes of the given node (i.e. sub-trees of the given tree), until reaching the base case that is a node with no child nodes (i.e. a tree having no branches known as a "leaf").

A tree data structure itself can be defined recursively (and so predestinated for recursive processing) like this:

typedef struct {

unsigned int count;

node* children;

} node

- $F(0)\; =\; a$

- $F(n\; +\; 1)\; =\; f(F(n))$

- $f(0)\; =\; a$

- $g(0)\; =\; a$

- $f(n\; +\; 1)\; =\; F(f(n))$

- $g(n\; +\; 1)\; =\; F(g(n))$

where $a$ is an element of $A$. We want to prove that $f\; =\; g$. Two functions are equal if they:

- i. have equal domains/codomains;

- ii. have the same graphic.

- i. :ii. Mathematical induction: for all $n$ in $N$, $f(n)\; =\; g(n)$? (We shall call this condition, say, $Eq(n))$:

- 1.$Eq(0)$ if and only if $f(0)\; =\; g(0)$ if and only if $a\; =\; a$.

- 2.Let $n$ be an element of $N$. Assuming that $Eq(n)$ holds, we want to show that $Eq(n\; +\; 1)$ holds as well, which is easy because: $f(n\; +\; 1)\; =\; F(f(n))\; =\; F(g(n))\; =\; g(n\; +\; 1)$.

- See Hungerford, "Algebra", first chapter on set theory.

Some common recurrence relations are:

- Factorial: $n!\; =\; n\; (n\; -\; 1)!\; =\; n\; (n\; -\; 1)cdots\; 1$
- Fibonacci numbers: $f(n)\; =\; f(n\; -\; 1)\; +\; f(n\; -\; 2)$
- Catalan numbers: $C\_0=1$, $C\_\{n+1\}\; =\; (4n+2)C\_n/(n+2)$

- Computing compound interest
- The tower of Hanoi
- Ackermann function
- Population growth rate
- Odds of a shared birthday among a group of people.

- Johnsonbaugh, Richard (2004).
*Discrete Mathematics*. Prentice Hall. ISBN 0-13-117686-2. - Hofstadter, Douglas (1999).
*Gödel, Escher, Bach: an Eternal Golden Braid*. Basic Books. ISBN 0-465-02656-7. - Shoenfield, Joseph R. (2000).
*Recursion Theory*. A K Peters Ltd. ISBN 1-56881-149-7. - Causey, Robert L. (2001).
*Logic, Sets, and Recursion*. Jones & Bartlett. ISBN 0-7637-1695-2. - Cori, Rene; Lascar, Daniel; Pelletier, Donald H. (2001).
*Recursion Theory, Godel's Theorems, Set Theory, Model Theory*. Oxford University Press. ISBN 0-19-850050-5. - Barwise, Jon; Moss, Lawrence S. (1996).
*Vicious Circles*. Stanford Univ Center for the Study of Language and Information. ISBN 0-19-850050-5. - offers a treatment of corecursion. - Rosen, Kenneth H. (2002).
*Discrete Mathematics and Its Applications*. McGraw-Hill College. ISBN 0-07-293033-0. - Cormen, Thomas H., Charles E. Leiserson, Ronald L. Rivest, Clifford Stein (2001).
*Introduction to Algorithms*. Mit Pr. ISBN 0-262-03293-7. - Kernighan, B.; Ritchie, D. (1988).
*The C programming Language*. Prentice Hall. ISBN 0-13-110362-8. - Stokey, Nancy,; Robert Lucas; Edward Prescott (1989).
*Recursive Methods in Economic Dynamics*. Harvard University Press. ISBN 0674750969.

- Recursion - tutorial by Alan Gauld
- Freaking Vortex - comic by Nicholas Gurewitch
- Tabletop Roleplaying - comic by Randall Munroe

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Thursday October 09, 2008 at 15:16:48 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Thursday October 09, 2008 at 15:16:48 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.