O Que é TOTAL COMPUTABLE em Português

• computável total
• totalmente computável

Exemplos de uso de Total computable em Inglês e suas traduções para o Português

Is the range of a total computable function.
Formula_22 está no intervalo de uma função computável.

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.

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.

In this dissertation an intentional and extensional study of the class of total computable functions is made.
Nesta tese é feito um estudo intencional e extensional da classe das funções totais computáveis.

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.

R is equal to the set of all total computable functions.
R é igual ao conjunto de todas as funções computáveis totais.

Not every total computable function is provably total in Peano arithmetic, however; an example of such a function is provided by Goodstein's theorem.
Nem toda função total computável é comprovadamente total na aritmética de Peano, contudo; um exemplo de uma função é obtido pelo teorema de Goodstein.

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.

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.

That is, given such sets A and B, there is a total computable function f such that A{x: f(x)∈ B.
Isto é, dados tais conjuntos A e B, existe uma função total computável f tal que A{x: f(x)∈ B.

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.

To complete the proof, let formula_6 be any total computable function, and construct formula_13 as above.
Para completar a prova, seja"F" alguma função computável total, e construa"h" como acima.

Is it possible to change the definition of a Turing machine so that a particular class of total Turing machines, computing all the total computable functions, can be found?
Será que é possível mudar a definição de uma máquina de Turing para que, uma classe particular de máquinas totais que computam todas as funções totalmente computáveis, ser descoberta?

To complete the proof, let F{\displaystyle F} be any total computable function, and construct h{\displaystyle h} as above.
Para completar a prova, seja F alguma função computável total, e construa h como acima.

Topologically the class of total computable functions has been studied only in an extensional way as a subspace of a baire space and as an induced topology of an scott topology for the partial functions not necessarily computable..
A classe das funções totais computáveis tem sido estudada topologicamente somente numa forma extensional como um subespaço de um espaço de baire e como uma topologia induzida de uma topologia de scott das funções parciais não necessariamente computáveis..

The image of a computable set under a total computable bijection is computable..
A imagem de um conjunto computável sobre uma bijeção computável total é computável..

A set A is many-one reducible to B if there is a total computable function f such that an element n is in A if and only if f(n) is in B. Such a function can be used to generate a Turing reduction by computing f(n), querying the oracle, and then interpreting the result.
Um conjunto A é"redutível de muitos para um" para B se há uma função totalmente computável f tal que um elemento n está em A se e somente se f(n) está em B. Esta função pode ser usada para gerar uma redução de Turing computando f(n), consultando o oráculo e interpretando o resultado.

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..

A many-one reduction from"A" to"B" is a total computable function"f": Σ*→ Γ* that has the property thateach word"w" is in"A" if and only if"f"("w") is in"B" that is, formula_1.
Uma redução por mapeamento de"A" para"B" é uma função totalmente computável"f": Σ*→ Γ* que tem a propriedade de que cada palavra"w" está em"A" se e somente se"f"("w") está em"B" isto é, formula_1.

A set is recursive if and only if it is either the range of a nondecreasing total computable function or the empty set.
Um conjunto é recursivo se e somente se ele é ou o alcance de uma função computável total não decrescente ou se é o conjunto vazio.

A many-one reduction from A to B is a total computable function f: Σ*→ Γ* that has the property that each word w is in A if and only if f(w) is in B that is, A f- 1( B){\displaystyle A=f^{-1}B.
Uma redução por mapeamento de A para B é uma função totalmente computável f: Σ*→ Γ* que tem a propriedade de que cada palavra w está em A se e somente se f(w) está em B isto é, A f- 1( B){\displaystyle A=f^{-1}B.

In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable function that is not primitive recursive.
Na teoria da computabilidade, a Função de Ackermann, nomeada por Wilhelm Ackermann, é um dos mais simples e recém-descobertos exemplos de uma função computável que não são funções recursivas primitivas.

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.

Two questions can be asked about the relationship between partial Turing machines and total Turing machines: Can every partial function computable by a partial Turing machine be extended(that is, have its domain enlarged) to become a total computable function?
Duas perguntas podem ser feitas sobre a relação entre máquinas de Turing parciais e totais: Será que toda função parcial computável por uma máquina de Turing parcial pode ser estendida(isto é, tem seu domínio aumentado) para virar uma função totalmente computável?

However the set of primitive recursive functions does not include every possible total computable function- this can be seen with a variant of Cantor's diagonal argument.
Entretanto, o conjunto de funções recursivas primitivas não inclui toda função totalmente computável posssível- isso pode ser visto com uma variante do Argumento de diagonalização de Cantor.

For any total computable function g for which g( x)≥ x{\displaystyle g(x)\geq x} for every x, there is a total computable function t such that with respect to Φ, the complexity classes with boundary functions t and g∘ t{\displaystyle g\circ t} are identical.
Para qualquer função computável total g para o qual g( x)≥ x{\displaystyle g(x)\geq x} para todo x{\displaystyle\, x}, existe uma função computável total t de tal forma que em relação a Φ{\displaystyle\Phi}, as classes de complexidade com funções limitantes t{\displaystyle t} e g∘ t{\displaystyle g\circ t} são idênticas.

Formal definition==A subset of the natural numbers is called recursive if there exists a total computable function such that==Examples==*Every finite or cofinite subset of the natural numbers is computable..
Definição formal==Um subconjunto formula_1 dos números naturais é chamado recursivo se existe uma função computável total formula_2 tal que formula_3 se formula_4 e formula_5 se formula_6.

A is many-one reducible(or m-reducible) to B if there is a total computable function f such that each n is in A if and only if f(n) is in B. Truth-table reducibility A is truth-table reducible to B if A is Turing reducible to B via an oracle Turing machine that computes a total function regardless of the oracle it is given.
A é muitos-um redutível( ou m-reducível) a B se existe uma função computável total tal que cada n está em A se e somente se f( n) está em B. redutibilidade tabela-verdade: A é tabela-verdade redutível a B se A é turing reducível a B através de uma máquina de Turing oracle que computa uma função total independentemente do oracle dado.

While Hilbert's tenth problem is not a formal mathematical statement as such, the nearly universal acceptance of the(philosophical) identification of a decision algorithm with a total computable predicate allows us to use the MRDP theorem to conclude that the tenth problem is unsolvable.
Enquanto o Décimo problema de Hilbert não é uma afirmação matemática formal, a aceitação quase universal da identificação(filosófica) de um algoritmo de decisão com um predicado computável total nos permite o uso do teorema MRDP para concluir que o décimo problema é insolúvel.

The strong reducibilities include: One-one reducibility A is one-one reducible(or 1-reducible) to B if there is a total computable injective function f such that each n is in A if and only if f(n) is in B. Many-one reducibility This is essentially one-one reducibility without the constraint that f be injective.
As redutibilidades fortes incluem: redutibilidade um-um: A é um-um redutível(ou 1-reducível) a B se existe uma função injetiva total computável f tal que cada n está em A se e somente se f(n) está em B. redutibilidade muitos-um: é essencialmente a reducibilidade um-um sem a condição de f ser injetiva.