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

• parcialmente computável
• computável parcial

Examples of using Partial computable in English and their translations into Portuguese

These researchers also use terminology such as"partial computable function" and"computably enumerable""c.e.
Muitos pesquisadores contemporâneos também usam a terminologia como função parcial computável e conjunto computável enumerável c.e.

Note however that the"partial" computable functions(those that need not be defined for all arguments) can be explicitly enumerated, for instance by enumerating Turing machine encodings.
Note entretanto que as funções"parcialmente" computáveis(aquelas que não precisam ser definidas para todo argumento) podem ser explicitamente enumeradas, por exemplo enumerando codificações da Máquina de Turing.

By the church thesis any theoretic approach to the class of partial computable functions comes to exactly the same class of functions.
Pela tese de church toda abordagem teórica à classe das funções parciais computáveis obtém exatamente a mesma classe de funções.

If F is a subset of the set of all partial computable function from N{\displaystyle\mathbb{N}} to itself such that F and its complement are both non-empty, then the problem of deciding whether or not a given Turing machine computes a function from F is not decidable on any exponentially generic subset of I. The following theorems are from: Theorem 2 The set of formal languages which are generically computable has measure zero.
Se F é um subconjunto do conjunto de todos as funções parcialmente computáveis de N{\ displaystyle\ mathbb{ N}} em\ mathbb{ N}, tais que F e seu complemento são ambos não-vazios, então o problema de decidir se uma dada máquina de Turing computa uma função a partir de F ou näo é indecidível sobre qualquer subconjunto exponencialmente genérico de I. Os seguintes teoremas são a partir de: Teorema 2 O conjunto de linguagens formais que são chamados genericamente de computáveis tem medida zero.

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.

Some of these are weak 1-randomness, Schnorr randomness, computable randomness, partial computable randomness.
Algumas delas são 1-aleatoriedade fracas, aleatoriedade de Schnorr, aleatoriedade computável, aleatoriedade parcialmente computável.

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 following theorem shows that the functions computable by machines that always halt do not include extensions of all partial computable functions, which implies the first question above has a negative answer.
O seguinte teorema mostra que funções computáveis por máquinas que sempre param não incluem extensões de todas as funções computáveis parciais, o que implica que a primeira pergunta tem resposta negativa.

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.

The following pseudocode illustrates a straightforward way to compute g: procedure compute g i if f(i, i)== 0 then return 0 else loop forever Because g is partial computable, there must be a program e that computes g, by the assumption that the model of computation is Turing-complete.
O pseudocódigo seguinte ilustra um meio simples de se computar g: procedimento compute g i if f(i, i)== 0 então retorne 0 caso contrário loop infinito Por g ser uma função parcial computável, deve haver um programa e que compute g, assumindo que o modelo de computação é Turing-completo.

The function h{\displaystyle h} can be constructed from the partial computable function g( x, y){\displaystyle g(x, y)} described above and the s-m-n theorem: for each x{\displaystyle x}, h( x){\displaystyle h(x)} is the index of a program which computes the function y↦ g( x, y){\displaystyle y\mapsto gx, y.
A função h pode ser construída a partir da função parcialmente computável g( x, y) φ φ x( x)( y){\displaystyle g(x, y)=\varphi_{\varphi_{ x}( x)}( y)} e o teorema teorema s m n: para cada x, h( x){\displaystyle h(x)} é o índice de um programa que computa a função y↦ g( x, y){\displaystyle y\mapsto gx, y.

Definitions==A Blum complexity measure is a tuple formula_1 with formula_2 a Gödel numbering of the partial computable functions formula_3 and a computable function: formula_4which satisfies the following Blum axioms.
Definições==Uma medida de complexidade de Blum é uma tupla formula_1 com formula_2 um número de Gödel das funções computáveis parciais formula_3 e uma função computável: formula_4que satisfaz os seguintes axiomas de Blum.

These researchers also use terminology such as partial computable function and computably enumerable(c.e.) set instead of partial recursive function and recursively enumerable(r.e.) set.
Muitos pesquisadores contemporâneos também usam a terminologia como função parcial computável e conjunto computável enumerável(c.e.) ao invés de função parcial recursiva e conjunto recursivamente enumerável r.e.

Given a natural number formula_14, the function formula_13 outputs the index of the partial computable function that performs the following computation:: Given an input formula_16, first attempt to compute formula_17.
Dado um número natural"x","h" tem como saída o índice da função parcialmente computável que executa a seguinte computação:: Dada uma entrada"y", primeiro tente computar formula_11.

A famous Rice's theorem states that if F is a subset of the set of partial computable functions from N{\displaystyle\mathbb{N}} to{ 0, 1}{\displaystyle\{0,1\}}, then unless F or its complement is empty, the problem of deciding whether or not a particular Turing machine computes a function in F is undecidable.
Um famoso teorema de Rice afirma que, se F é um subconjunto do conjunto de funções parcialmente computáveis de N{\displaystyle\mathbb{N}} a{ 0, 1}{\displaystyle\{0,1\}}, então a menos que o F ou o seu complemento seja vazia, o problema de decidir se quer ou não uma determinada máquina de Turing computa uma função F é indecidível.

Given a Gödel numbering φ{\displaystyle\varphi} of recursive functions, there is a primitive recursive function s of two arguments with the following property: for every Gödel number p of a partial computable function f with two arguments, the expressions φ s( p, x)( y){\displaystyle\varphi_{s(p, x)}(y)} and f( x, y){\displaystyle f(x, y)} are defined for the same combinations of natural numbers x and y, and their values are equal for any such combination.
Dada uma numeração de Gödel φ{\ displaystyle\ varphi} de funções recursivas, há um função recursiva primitiva s{\ displaystyle s} de dois argumentos com a seguinte propriedade: para cada número de Gödel p{\ displaystyle p} de uma função computável parcial f{\ displaystyle f} com dois argumentos, as expressões φ s( p, x)( y){\ displaystyle\ varphi_{ s( p, x)}( y)} e f( x, y){\ displaystyle f( x, y)} são definidas para as mesmas combinações de números naturais x{\ displaystyle x} e y{\ displaystyle y} e seus valores são iguais para qualquer combinação.

The following pseudocode illustrates a straightforward way to compute"g": Because"g" is partial computable, there must be a program"e" that computes"g", by the assumption that the model of computation is Turing-complete.
O pseudocódigo seguinte ilustra um meio simples de se computar"g": Por"g" ser uma função parcial computável, deve haver um programa"e" que compute"g", assumindo que o modelo de computação é Turing-completo.

Here, a property of partial functions is called"trivial" if it holds for all partial computable functions or for none, and an effective decision method is called"general" if it decides correctly for every algorithm.
Aqui, uma propriedade de funções parciais é chamada trivial se ela vale para todas as funções parciais computáveis ou nenhuma, e um método de decisão eficaz é chamado geral se este decide corretamente para cada algoritmo.

Given a natural number x{\displaystyle x}, the function h{\displaystyle h} outputs the index of the partial computable function that performs the following computation: Given an input y{\displaystyle y}, first attempt to compute φ x( x){\displaystyle\varphi_{x}x.
Dado um número natural x, h tem como saída o índice da função parcialmente computável que executa a seguinte computação: Dada uma entrada y, primeiro tente computar φ x( x){\displaystyle\varphi_{x}x.

Reiterating, the set K{\displaystyle K} referenced above and defined as the domain of the function d( x)( x)+ 1{\displaystyle d(x)=(x)+1} that takes the diagonal of all enumerated 1-place computable partial functions and adds 1 to them is an example of a creative set.
Reiterando, o conjunto K{\displaystyle K} referenciado acima e definido como o domínio da função d( x)( x)+ 1{\displaystyle d(x)=(x)+1} que pega a diagonal de todas as funções parciais computáveis enumeradas de 1-casa e soma 1 a elas é um exemplo de um conjunto criativo.

There are Turing computable partial functions that have no extension to a total Turing computable function.
Estas são funções Turing parcialmente computáveis que não têm extensão para funções totalmente computáveis..

Ultimately, these ideas are connected to Church's thesis that says the mathematical notion of computable partial functions is the correct formalization of an effectively calculable partial function, which can neither be proved or disproved.
Ultimamente, essas idéias estão conectadas à Tese de Church que diz que a noção matemática de funções parciais computáveis é a formalização correta de uma função parcial efetivamente calculável, tal que não se pode prová-la ou refutá-la.

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