Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/%CE%9C-recursive_function> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- %CE%9C-recursive_function abstract "In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that 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. The μ-recursive functions are closely related to primitive recursive functions, 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 classes of functions are the λ-recursive functions and the functions that can be computed by Markov algorithms.The set of all recursive functions is known as R in computational complexity theory.".
- %CE%9C-recursive_function wikiPageExternalLink recursive_functions_to_turing_machines.
- %CE%9C-recursive_function wikiPageExternalLink recursive-functions.
- %CE%9C-recursive_function wikiPageID "26469".
- %CE%9C-recursive_function wikiPageRevisionID "638394223".
- %CE%9C-recursive_function hasPhotoCollection Μ-recursive_function.
- %CE%9C-recursive_function subject Category:Computability_theory.
- %CE%9C-recursive_function subject Category:Theory_of_computation.
- %CE%9C-recursive_function comment "In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that 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.".
- %CE%9C-recursive_function label "Fonction récursive".
- %CE%9C-recursive_function label "Funció recursiva".
- %CE%9C-recursive_function label "Función recursiva".
- %CE%9C-recursive_function label "Funkcja rekurencyjna".
- %CE%9C-recursive_function label "Funzione ricorsiva".
- %CE%9C-recursive_function label "Função μ-recursiva".
- %CE%9C-recursive_function label "Částečně rekurzivní funkce".
- %CE%9C-recursive_function label "Μ-Rekursion".
- %CE%9C-recursive_function label "Μ-recursieve functie".
- %CE%9C-recursive_function label "Μ-recursive function".
- %CE%9C-recursive_function label "Μ再帰関数".
- %CE%9C-recursive_function sameAs m.06lj6.
- %CE%9C-recursive_function wasDerivedFrom Μ-recursive_function?oldid=638394223.
- %CE%9C-recursive_function isPrimaryTopicOf Μ-recursive_function.