What is the translation of " COMPUTABLE FUNCTION " in Portuguese?

• função computável
• funções computáveis

Examples of using Computable function in English and their translations into Portuguese

Every computable function is arithmetically definable.
Toda função computável é aritmeticamente definível.

Let F be a prefix-free universal computable function.
Seja F uma função computável universal livre de prefixo.

Thus given a set formula_5, a computable function formula_6 has property"F" if and only if formula_7.
Assim, dado um conjunto formula_6, uma função computável formula_7 e tem a propriedade"F" se e somente se formula_8.

Denote by formula_3 the th(partial) computable function.
Denote por formula_3 a formula_4º(parcial) função computável.

Each computable function has an infinite number of different program representations in a given programming language.
Cada função computável possui um número infinito de representações em programas diferentes em uma dada linguagem de programação.

This argument provides a total computable function that is not primitive recursive.
Esse argumento fornece uma função computável total que não é primitiva recursiva.

Definition==Let"P"F be the domain of a prefix-free universal computable function"F.
Definição==Seja"P"F o domínio de uma função computável universal livre de prefixo universal"F.

Thus every computable function must have a finite program that completely describes how the function is to be computed.
Portanto, cada função computável deve ter um programa finito que descreve completamente como ele deve ser computada.

This means that"F" can be used to simulate any computable function of one variable.
Isso significa que"F" pode ser usado para simular qualquer função computável de uma variável.

If"g" were a total computable function extending"f" then"g" would be computable by some Turing machine; fix"e" as the index of such a machine.
Se"g" fosse uma função computável total estendendo-se"f", então"g" seria computável por alguma máquina de Turing; fixe"e" como o índice dessa máquina.

Let formula_2 be an index of the composition formula_34, which is a total computable function.
Seja"e" um índice da composição formula_21, que é uma função computável total.

Blum's speedup theorem, which provides speedup by any computable function not just linear, as in the previous theorem.
O teorema da aceleração de Blum provê uma aceleração por qualquer função computável não somente linear, como no teorema anterior.

Thus a set is computably enumerable if and only if it is the domain of some computable function.
Portanto, um conjunto é computacionalmente enumerável se e somente se ele está no domínio de alguma função computável.

It is not a computable number; there is no computable function that enumerates its binary expansion, as discussed below.
Não é um número computável; não há função computável que enumera sua expansão binária, como discutido abaixo.

Let e{\displaystyle e} be an index of the composition F∘ h{\displaystyle F\circ h}, which is a total computable function.
Seja e um índice da composição F∘ h{\displaystyle F\circ h}, que é uma função computável total.

Goodstein's theorem can be used to construct a total computable function that Peano arithmetic cannot prove to be total.
O Teorema de Goodstein pode ser usado para construir uma função computável total, que a Aritmética de Peano não pode provar a completude.

This means that any function computable from the path is dominated by a computable function.
Isto significa que qualquer função computável a partir deste caminho é dominada por uma função computável.

Every Turing machine computes a certain fixed partial computable function from the input strings over its alphabet.
Toda máquina de Turing computa uma certa função computável parcial fixa a partir de uma cadeia como entrada formada pelos símbolos de seu alfabeto.

The definition of a halting probability relies on the existence of a prefix-free universal computable function.
A definição de uma probabilidade de parada remete à existência de funções computáveis universais livres de prefixo.

Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set.
Tal problema é dito indecidível se não existe uma função computável que responde corretamente a cada questão do conjunto de problemas.

Equivalently, a set is recursively enumerable if and only if it is the range of some computable function.
Equivalentemente, um conjunto é recursivamente enumerável se e somente se ele for o"range" de algumas funções computáveis.

If formula_58 is a recursive set, then for some formula_16, computable function formula_6is the characteristic function of formula_58.
Se formula_56 é um conjunto recursivo, então para algum formula_4, uma função computável formula_7 é a função característica de formula_56.

If the fundamental sequences are computable(e.g., as in the Wainer hierarchy), then every fα is a total computable function.
Se as sequências fundamentais são computáveis,(como na Hierarquia de Wainer), então toda fα é uma função computável total.

The preimage of a recursive set under a total computable function is a recursive set.
A imagem inversa de um conjunto recursivo sobre uma função computável total é um conjunto recursivo.

Equivalently, a weak truth-table reduction is a Turing reduction for which the use of the reduction is bounded by a computable function.
Equivalentemente, uma redução tabela-verdade fraca é uma redução de Turing que o uso da redução é delimitada por uma função calculável.

Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set see undecidable problem.
Tal problema é dito ser indecidível se não houver uma função computável que responde corretamente todas as questões do conjunto veja problema indecidível.

Limitations==Primitive recursive functions tend to correspond very closely with our intuition of what a computable function must be.
Limitações==Funções recursivas primitivas tendem a parecer com nossa intuição do que uma função computável deve ser.

For any recursive operator Ψ there is a partial computable function φ such that Ψ(φ) φ and φ is the smallest partial computable function with this property.
Para qualquer operador recursivo? existe uma função computável parcial f tal que?(f) f e f é a menor função computável parcial com essa propriedade.

The image of a computable set under a nondecreasing total computable function is computable..
A imagem de um conjunto computável sobre uma função computável total não decrescente é computável..

We write formula_5 for the"i"-th partial computable function under the Gödel numbering formula_2, and formula_7 for the partial computable function formula_8.
Nós escrevemos formula_5 para a"i"-ésima função computável parcial sob o número de Gödel formula_2, e formula_7 para a função computável parcial formula_8.