Definition
The class of computable functions can be defined in many equivalent models of computation, including
- Turing machines
- μ-recursive functions
- Lambda calculus
- Post machines (Post–Turing machines and tag machines).
- Register machines
Although those models use different representations for the functions, their inputs and their outputs, translations exist between any two models. In the remainder of this article, functions from natural numbers to natural numbers are used (as is the case for, e.g., the μ-recursive functions).
Each computable function f takes a fixed, finite number of natural numbers as arguments. Because the functions are partial in general, they may not be defined for every possible choice of input. If a computable function is defined for a certain input, then it returns a single natural number as output (this output can be interpreted as a list of numbers using a pairing function). These functions are also called partial recursive functions. In computability theory, the domain of a function is taken to be the set of all inputs for which the function is defined.
A function which is defined for all possible arguments is called total. If a computable function is total, it is called a total computable function or total recursive function.
The notation f(x1, ..., xk)↓ indicates that the partial function f is defined on arguments x1, ..., xk, and the notation f(x1, ..., xk) = y indicates that f is defined on the arguments x1, ..., xk and the value returned is y. The case that a function f is undefined for arguments x1, ..., xk is denoted by f(x1, ..., xk)↑ .
Read more about this topic: Computable Function
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)