HALTING PROBLEM in Portuguese translation

• problema da parada

Examples of using Halting problem in English and their translations into Portuguese

solves Turing's halting problem for programs of length up to"n.
resolve o problema da parada de Turing por programas de tamanho até"n.

Theorem 4 There is a notion of generic-polynomial-time reduction with respect to which the distributional bounded halting problem is complete within class of distributional NP problems..
Teorema 4 Há uma noção de redução em tempo polinomial genérica com relação ao qual o problema da parada limitado distributivo é completo dentro da classe distributiva dos problemas NP.

Causality Circular reporting Halting problem Nested function Regress argument Self-reference There's a hole in the bucket Terry A. Osborn,
Sub-rotina aninhada Problema da parada Ardil 22(lógica) Pseudo-história O ovo ou a galinha Terry A. Osborn, The future of

classification of all four-manifolds would imply a solution to Turing's halting problem.
a classificação de todas as variedades de quatro dimensões iria implicar em uma solução para o problema da parada de Turing.

due to the undecidability of the halting problem.
devido à indecidibilidade do problema de interrupção.

An example of a distNP-complete problem is the Bounded Halting Problem, BH, defined as follows:
Um exemplo de um problema distNP-completo é o Problema da Parada Limitado, BH, definido como:

Section 4.2: The Halting Problem.
Seção 4.2: O problema da parada».

Even undecidable problems, such as the halting problem, can be used.
Até mesmo problemas indecidíveis, como o problema da parada, podem ser decididos nela.

The Halting problem was the first such set to be constructed.
O problema da parada foi o primeiro conjunto do tipo a ser construído.

This means that this gives us an algorithm to decide the halting problem.
Isto significa que nós temos um algoritmo que decide o problema da parada.

This fact is closely related to the algorithmic unsolvability of the Halting problem.
Esse fato está relacionado à impossibilidade de se resolver o Problema da parada.

Problems about abstract machines==* The halting problem determining whether a Turing machine halts.
Problemas sobre máquina abstratas==* O problema da parada Determina se a máquina de Turing pára.

The halting problem for a formula_52 oracle in fact sits in formula_165.
O problema da parada para um oráculo formula_162 na verdade fica em formula_163.

There are decision problems that are NP-hard but not NP-complete, for example the halting problem.
Há também problemas de decisão que são NP-difíceis, mas não NP-completos, por exemplo, o problema da parada.

But, many of these index sets are even more complicated than the halting problem.
Porém, muitos desses conjuntos de índices são ainda mais complicados que o problema da parada.

The weaker form of the theorem can be proved from the undecidability of the halting problem as follows.
A forma mais fraca do teorema pode ser provada a partir da indecidibilidade do problema da parada como a seguir.

can also be established by reference to the blank tape halting problem.
também pode ser trivialmente estabelecido por referência ao problema da parada.

This set encodes the halting problem as it describes the input parameters for which each Turing machine halts.
Este conjunto codifica o problema da parada, uma vez que descreve os parâmetros de entrada para qual cada máquina de Turing pára.

Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
PCP é mais simples que o problema da parada e o Entscheidungsproblem por isso ele é frequentemente usado em provas de indecidibilidade.

Since there is no general solution to the halting problem, a total correctness assertion may lie much deeper.
Uma vez que não há nenhuma solução geral para o Problema da parada, afirmar a corretude total de um algoritmo pode ser algo muito difícil.