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

• recursiva parcial
• recursivas parciais
• parcialmente recursiva
• partial recursive

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

That is, S is the domain(co-range) of a partial recursive function.
Ou seja, S é o domínio de uma função recursiva parcial.

Set" instead of"partial recursive function" and"recursively enumerable""r.e.
Ao invés de função parcial recursiva e conjunto recursivamente enumerável r.e.

Then the function formula_4 is also a partial recursive function.
Então a função formula_4 é também uma função recursiva parcial.

The broader class of partial recursive functions is defined by introducing an unbounded search operator.
A classe mais abrangente de funções recursivas parciais é definida por introduzir um operador de busca infinito.

Suppose{ e}{\displaystyle\{e\}} is the e{\displaystyle e}-th partial recursive function.
Suponha{ e}{\displaystyle\{e\}} é a e{\displaystyle e}-sima função parcial recursiva.

A total recursive function is a partial recursive function that is defined for every input.
Uma função recursiva total é uma função recursiva parcial que é definida por cada entrada.

Rice's theorem and index sets==Rice's theorem can be succinctly stated in terms of index sets:: Let formula_48 be a class of partial recursive functions with index set formula_49.
Teorema de Rice e conjunto de índices==Teorema de Rice pode ser sucintamente expressos em termos de conjuntos de índices:: Temos que formula_49 seja uma classe das funções recursivas parciais com índice de conjunto formula_50.

And, in the context of partial recursive functions Kleene later admits a third outcome:"μ undecided.
E, no contexto de funções recursivas parciais Kleene mais tarde admite um terceiro resultado:"µ indecidível", pp. 332ff.

Rice's theorem can be succinctly stated in terms of index sets: Let C{\displaystyle{\mathcal{C}}} be a class of partial recursive functions with index set C{\displaystyle C.
Teorema de Rice pode ser sucintamente expressos em termos de conjuntos de índices: Temos que C{\displaystyle{\mathcal{C}}} seja uma classe das funções recursivas parciais com índice de conjunto C{\displaystyle C.

And suppose that that partial recursive function converges(to something, not necessarily zero) whenever formula_4 is defined and"y" is formula_4 or smaller.
E suponha que tal função recursiva parcial converja(para algo, não necessariamente zero) sempre que formula_4 is defined and"y" is formula_4 ou menor.

The preimage of a recursively enumerable set under a partial recursive function is a recursively enumerable set.
A imagem de um conjunto recursivamente enumerável sob uma função parcial recursiva é um conjunto recursivamente enumerável.

Iii In the context of the partial recursive functions: Suppose that the relation"R" holds if and only if a partial recursive function converges to zero.
Iii No contexto de funções recursivas parciais: Suponha que a relação"R" tem se e somente se uma função recursiva parcial converja a zero.

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.

An equivalent definition states that a partial recursive function is one that can be computed by a Turing machine.
Uma definição equivalente afirma que uma função recursiva parcial é uma tal que pode ser computada por uma Máquina de Turing.

The instructions are drawn from the two classes to form"instruction-sets", such that an instruction set must allow the model to be Turing equivalent it must be able to compute any partial recursive function.
As instruções são tiradas de duas classes para formar conjuntos de instruções, tal qual um conjunto de instruções deve permitir o modelo de ser Turing equivalente deve ser capaz de computar qualquer função recursiva parcial.

Relationship to recursive functions==The broader class of partial recursive functions is defined by introducing an unbounded search operator.
Relacionamento com funções recursivas==A classe mais abrangente de funções recursivas parciais é definida por introduzir um operador de busca infinito.

In the equivalence of models of computability, a parallel is drawn between Turing machines that do not terminate for certain inputs and an undefined result for that input in the corresponding partial recursive function.
Na equivalência de modelos de computabilidade, uma paralela é desenhada entre Máquinas de Turing que não terminará para certas entradas e um resultado indefinido para aquela entrada na função parcial recursiva correspondente.

Offers a 3-valued logic for the cases when algorithms involving partial recursive functions may not return values, but rather end up with circumstances"u" undecided.
Pp 332-340 oferece uma lógica 3-valores para os casos em que os algoritmos que envolvem funções recursivas parciais não podem retornar valores, mas sim acabar com as circunstâncias"u" indecisos.

Now if Q(x) is a partial recursive predicate, there is a decision procedure for Q(x) on its range of definition, so the law of the excluded middle or excluded"third"(saying that, Q(x) is either t or f) applies intuitionistically on the range of definition.
Agora, se Q(x) é um predicado parcial recursivo, há um procedimento de decisão para Q(x) na sua área de definição, assim a lei do meio excluído ou“terceiro” excluído(dizendo que, Q(x) é T(verdadeiro) ou f(falso)) se aplica intuicionisticamente na sua área de definição.

The statement of the theorems refers to an admissible numbering φ{\displaystyle\varphi} of the partial recursive functions, such that the function corresponding to index e{\displaystyle e} is φ e{\displaystyle\varphi_{e.
Sua declaração refere-se à numeração de Gödel φ das funções recursivas parciais, no qual a função correspondente a um índice e é φ e{\displaystyle\varphi_{e.

Equivalence with other models of computability==In the equivalence of models of computability, a parallel is drawn between Turing machines that do not terminate for certain inputs and an undefined result for that input in the corresponding partial recursive function.
Equivalência com outros modelos de computabilidade==Na equivalência de modelos de computabilidade, uma paralela é desenhada entre Máquinas de Turing que não terminará para certas entradas e um resultado indefinido para aquela entrada na função parcial recursiva correspondente.

It is proved(Burgin, 2005) that limiting partial recursive functions, trial and error predicates, general Turing machines, and simple inductive Turing machines are equivalent models of computation.
Foi provado que funções recursivas parciais limitantes, predicados de tentativa e erro máquinas de Turing gerais, e Máquinas de Turing indutivas simples são modelos de computação equivalentes.

Posteriorly, such versions were extended in order to also include the partial algorithmic functions, giving rise, in this way, to the version of the partial recursive functions and to the version of the partially turing-computable functions.
Posteriormente, tais versões foram estendidas a fim de abranger também as funções parciais algorítmicas, dando origem, deste modo, à versão das funções parciais recursivas e à versão das funções parcialmente turing-computáveis.

A set S of natural numbers is called recursively enumerable if there is a partial recursive function whose domain is exactly S, meaning that the function is defined if and only if its input is a member of S. The following are all equivalent properties of a set S of natural numbers: Semidecidability: The set S is recursively enumerable.
Um conjunto S de números naturais é chamado recursivamente enumerável se existe uma função recursiva parcial( também conhecida como função computável) na qual o domínio é exatamente S, significando que a função é definida se e somente se sua entrada é membro de S. A definição pode ser estendida para um conjunto contável arbitrário A usando Número de Gödel para representar os elementos do conjunto e declarar um subconjunto de A para ser recursivamente enumerável se o conjunto dos números de Gödel correspondentes é recursivamente enumerável.

Example of a 3-valued logic applied to vague(undetermined) cases: Kleene 1952(§64, pp. 332-340) offers a 3-valued logic for the cases when algorithms involving partial recursive functions may not return values, but rather end up with circumstances"u" undecided.
Exemplo de uma lógica de 3-valores aplicada a casos vagos(indeterminado): Kleene 1952(§64, pp. 332-340)(§ 64, pp 332-340) oferece uma lógica 3-valores para os casos em que os algoritmos que envolvem funções recursivas parciais não podem retornar valores, mas sim acabar com as circunstâncias"u" indecisos.

Given a partial function"f" from the natural numbers into the natural numbers,"f" is a partial recursive function if and only if the graph of"f", that is, the set of all pairs formula_11 such that"f(x)" is defined, is recursively enumerable.
Dada uma função parcial f dos números naturais para os naturais, f é uma função parcialmente recursiva se e somente se o grafo de f, isto é, o conjunto de todos os pares formula_11 tais que f(x) é definido, é recursivamente enumerável.

Each enumeration operator Φ determines a function from sets of naturals to sets of naturals given by: formula_76A recursive operator is an enumeration operator that, when given the graph of a partial recursive function, always returns the graph of a partial recursive function.
Cada operador de enumeração F determina uma função de conjuntos de números naturais em conjuntos de naturais dado por: formula_33Um operador recursivo é um operador de enumeração que, quando dado de uma função recursiva parcial, sempre retorna um gráfico de uma função recursiva parcial.

Simple inductive Turing machines and general Turing machines are related to limiting partial recursive functions and trial and error predicates as Turing machines are related to partial recursive functions and lambda-calculus.
Máquinas de Turing indutivas simples e Máquinas de Turing comuns estão relacionadas a funções recursivas parciais limitantes e a predicados de tentativa e erro assim como Máquinas de Turins estão relacionadas com funções recursivas parciais e cálculo lambda.

Each enumeration operator Φ determines a function from sets of naturals to sets of naturals given by Φ( X){ n∣∃ A⊆ X}.{\displaystyle\Phi( X)=\{ n\ mid\ exists A\ subseteq X\}.} A recursive operator is an enumeration operator that, when given the graph of a partial recursive function, always returns the graph of a partial recursive function.
Cada operador de enumeração F determina uma função de conjuntos de números naturais em conjuntos de naturais dado por Φ( X){ n∣∃ A⊆ X}.{\displaystyle\Phi(X)=\{n\mid\exists A\subseteq X\}.} Um operador recursivo é um operador de enumeração que, quando dado de uma função recursiva parcial, sempre retorna um gráfico de uma função recursiva parcial.

Formal definition==A set"S" of natural numbers is called recursively enumerable if there is a partial recursive function whose domain is exactly"S", meaning that the function is defined if and only if its input is a member of"S.
Definição Formal==Um conjunto"S" de números naturais é chamado recursivamente enumerável se existe uma função recursiva parcial(também conhecida como função computável) na qual o domínio é exatamente"S", significando que a função é definida se e somente se sua entrada é membro de"S.