Encyclopedia > Î > Îś-recursive function
Îś-recursive function
In mathematical logic and computer science, the ÎĽ-recursive functions are a class of partial functions from natural numbers to natural numbers which are "computable" in an 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.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)