Recursive Definition - Form of Recursive Definitions

Form of Recursive Definitions

Most recursive definition have three foundations: a base case (basis), an inductive clause, and an extremal clause.

The difference between a circular definition and a recursive definition is that a recursive definition must always have base cases, cases that satisfy the definition without being defined in terms of the definition itself, and all other cases comprising the definition must be "smaller" (closer to those base cases that terminate the recursion) in some sense. In contrast, a circular definition may have no base case, and define the value of a function in terms of that value itself, rather than on other values of the function. Such a situation would lead to an infinite regress.

Read more about this topic:  Recursive Definition

Famous quotes containing the words form of, form and/or definitions:

    The form of act or thought mattered nothing. The hymns of David, the plays of Shakespeare, the metaphysics of Descartes, the crimes of Borgia, the virtues of Antonine, the atheism of yesterday and the materialism of to-day, were all emanation of divine thought, doing their appointed work. It was the duty of the church to deal with them all, not as though they existed through a power hostile to the deity, but as instruments of the deity to work out his unrevealed ends.
    Henry Brooks Adams (1838–1918)

    The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.
    Herbert Spencer (1820–1903)

    The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.
    Pamela Patrick Novotny (20th century)