Also known as general recursive function, recursive function, partial recursive function, μ-recursive functions
one of several equivalent definitions of a computable function
Em lógica matemática e ciência computacional, as funções μ-recursivas são uma classe de funções parciais de números naturais para números naturais que são “computáveis” num sentido intuitivo. De fato, na teoria da computação é mostrado que as funções μ-recursivas são precisamente as que podem ser computadas por máquinas de Turing. As funções μ-recursivas são intimamente relacionadas às funções recursivas primitivas, e sua definição indutiva se baseia nestas funções recursivas primitivas. No entanto, nem toda função μ-recursivas é uma função primitiva recursiva – o mais famoso exemplo é a função de Ackermann. Outras classes equivalentes de funções são as e as funções que podem ser computadas através dos algoritmos de Markov. O conjunto de todas as funções recursivas é conhecido como R (Complexidade R) na teoria da complexidade computacional.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
via Wikidata sitelinks · CC0