In mathematical logic and computer science, the recursive functions are a class of function (mathematics)s from natural numbers to natural numbers which are "computable" in some intuitive sense. In fact, in computability theory it is shown that the recursive functions are precisely the functions that can be computed by Turing machines. Recursive functions are related to primitive recursive function, and their inductive definition (below) builds upon that of the primitive recursive functions. However, not every recursive function is a primitive recursive function — the most famous example is the Ackermann function. Other equivalent function classes are the lambda-recursive function and the functions that can be computed by Markov algorithms. == Definition == Take as axioms the axioms of the primitive recursive functions, but extend the definitions so as to allow for partial functions. Add one further operator, the unbounded search operator, defined as follows: :If ''f''(''x'',''z''1,''z''2,...,''z''''n'') is a partial function on the natural numbers with ''n''+1 arguments ''x'', ''z''1,...,''z''''n'', then the function μ''x'' ''f'' is the partial function with arguments ''z''1,...,''z''''n'' that returns the least ''x'' such that ''f''(0,''z''1,''z''2,...,''z''''n''), ''f''(1,''z''1,''z''2,...,''z''''n''), ..., ''f''(''x'',''z''1,''z''2,...,''z''''n'') are all defined and ''f''(''x'',''z''1,''z''2,...,''z''''n'') = 0, if such an ''x'' exists; if no such ''x'' exists, then μ''x'' ''f'' is not defined for the particular arguments ''z''1,...,''z''''n''. It is easy to see that this least search axiom (along with the simple primitive recursion axioms) implies the bounded search axiom of primitive recursion. The set of ''partial recursive functions'' is defined as the smallest set of partial functions of any arity from natural numbers to natural numbers which contains the zero, successor, and projection functions, and which is closed under composition, primitive recursion, and unbounded search. The set of ''total recursive functions'' is the subset of partial recursive functions which are total function. In the Church's thesis the parallel is drawn between Turing machine which do not terminate for certain inputs and an undefined result for that input in the corresponding partial recursive function. The unbounded search operator is not definable by the rules of primitive recursion as those do not provide a mechanism for "infinite loops" (undefined values). It is interesting to note that if the application of the unbounded search operator in the definition above is limited strictly to ''regular functions'' (functions which are guaranteed to be total when the unbounded search operator is applied to them), the resulting set (historically called the ''general recursive functions'') is the same as the set of recursive functions -- in other words, the requirement for partial functions can be partially obviated. == External link == *[http://plato.stanford.edu/entries/recursive-functions/ Stanford Encyclopedia of Philosophy entry] Computability
See other meanings of words starting from letter:
Words begining with Recursive_function:
Recursive_function
Recursive_functions
Recursive function
In mathematical logic and computer science, the recursive functions are a class of function (mathematics)s from natural numbers to natural numbers which are "computable" in some intuitive sense. In fact, in computability theory it is shown that the recursive functions are precisely the functions that can be computed by Turing machines. Recursive functions are related to primitive recursive function, and their inductive definition (below) builds upon that of the primitive recursive functions. However, not every recursive function is a primitive recursive function — the most famous example is the Ackermann function. Other equivalent function classes are the lambda-recursive function and the functions that can be computed by Markov algorithms. == Definition == Take as axioms the axioms of the primitive recursive functions, but extend the definitions so as to allow for partial functions. Add one further operator, the unbounded search operator, defined as follows: :If ''f''(''x'',''z''1,''z''2,...,''z''''n'') is a partial function on the natural numbers with ''n''+1 arguments ''x'', ''z''1,...,''z''''n'', then the function μ''x'' ''f'' is the partial function with arguments ''z''1,...,''z''''n'' that returns the least ''x'' such that ''f''(0,''z''1,''z''2,...,''z''''n''), ''f''(1,''z''1,''z''2,...,''z''''n''), ..., ''f''(''x'',''z''1,''z''2,...,''z''''n'') are all defined and ''f''(''x'',''z''1,''z''2,...,''z''''n'') = 0, if such an ''x'' exists; if no such ''x'' exists, then μ''x'' ''f'' is not defined for the particular arguments ''z''1,...,''z''''n''. It is easy to see that this least search axiom (along with the simple primitive recursion axioms) implies the bounded search axiom of primitive recursion. The set of ''partial recursive functions'' is defined as the smallest set of partial functions of any arity from natural numbers to natural numbers which contains the zero, successor, and projection functions, and which is closed under composition, primitive recursion, and unbounded search. The set of ''total recursive functions'' is the subset of partial recursive functions which are total function. In the Church's thesis the parallel is drawn between Turing machine which do not terminate for certain inputs and an undefined result for that input in the corresponding partial recursive function. The unbounded search operator is not definable by the rules of primitive recursion as those do not provide a mechanism for "infinite loops" (undefined values). It is interesting to note that if the application of the unbounded search operator in the definition above is limited strictly to ''regular functions'' (functions which are guaranteed to be total when the unbounded search operator is applied to them), the resulting set (historically called the ''general recursive functions'') is the same as the set of recursive functions -- in other words, the requirement for partial functions can be partially obviated. == External link == *[http://plato.stanford.edu/entries/recursive-functions/ Stanford Encyclopedia of Philosophy entry] Computability
See other meanings of words starting from letter:
R
RA | RB | RC | RD | RE | RF | RG | RH | RI | RJ | RK | RL | RM | RN | RO | RP | RS | RT | RU | RW | RX | RY | RZ |Words begining with Recursive_function:
Recursive_function
Recursive_functions
These materials are based on Wikipedia and licensed under the GNU FDL
YouTube.com videos better site than Turbo Tax 2007
