What is the translation of " HALTING PROBLEM " in Portuguese?

• problema da parada

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

This is related to the halting problem.
Isto está relacionado com o problema da parada.

Thus, the halting problem would be solved for pp.
Assim, o problema da parada vai ser resolvido por p{\displaystyle p.

It is the distributional bounded halting problem.
É o problema da parada limitado distributivo.

Hence, the halting problem is undecidable for Turing machines.
Consequentemente, o problema da parada é indecidível para máquinas de Turing.

This last question is called the halting problem.
Esta última questão é denominada de problema da parada.

The halting problem is therefore called non-computable or undecidable.
O problema da parada é um problema não computável ou indecidível.

A key example is 0′, the degree of the halting problem.
O exemplo chave é 0′, o grau do Problema da Parada.

It is easy to prove that the halting problem is NP-hard but not NP-complete.
É fácil provar que o problema da parada é NP-difícil, mas não NP-completo.

The domain is always Turing equivalent to the halting problem.
O domínio é sempre Turing equivalente ao problema da parada.

He is well known for the Halting problem, Turing machines, crypto-analysis of Enigma& Turing test.
Ele é bem conhecido para o problema da parada, Máquinas de Turing, cripto-análise de Enigma& Turing teste.

At present the theory is limited by incomputability the halting problem.
Atualmente, a teoria é limitada pela incomputabilidade o problema da parada.

It is Turing equivalent to the halting problem and thus at level formula_12 of the arithmetical hierarchy.
É Turing equivalente ao problema da parada e, assim, ao nível formula_12 da hierarquia aritmética.

The Turing jump of a set"A" is a form of the Halting problem relative to"A.
O salto de Turing de um conjunto"A" é uma forma do problema da parada relativo à"A.

The halting problem is not in ExpGenP for any model of Turing machine, The Post correspondence problem is in ExpGenP.
A suspensão problema não está em ExpGenP para qualquer modelo de máquina de Turing, O problema da correspondência de Post está em ExpGenP.

We have previously shown, however, that the halting problem is undecidable.
Mostramos previamente, entretanto, que o problema da parada era indecidível.

However, the halting problem, determining whether an arbitrary Turing machine halts on a given input, is itself an undecidable problem..
No entanto, devido ao problema da parada, determinar quando uma Máquina de Turing para para uma entrada arbitrária é um problema indecidível.

The Turing jump 0′ of the empty set is Turing equivalent to the halting problem.
O Salto de Turing 0′ do conjunto vazio é Turing equivalente ao Problema da parada.

His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem.
Seu argumento é fundamental na solução do problema de Halting e na prova do primeiro teorema da incompletude de Kurt Gödel.

Even more difficult are the undecidable problems, such as the halting problem.
Ainda mais difícil são os problemas indecidíveis, tais como o Problema da Parada.

Although the halting problem is not computable, it is possible to simulate program execution and produce an infinite list of the programs that do halt..
Apesar do problema da parada não ser computável, é possível simular a execução do programa e produzir uma lista infinita de programas que páram.

An example of a problem a Turing machine cannot solve is the halting problem.
Um exemplo de um problema que uma Máquina de Turing no pode resolver, é o Problema da Parada.

By the halting problem, it is impossible to predict whether an arbitrary computational system implements any input-output function, including, say, simple multiplication Rice 1953.
Parando o problema, é impossível prever se um sistema computacional com liberdade para decidir irá implementar alguma função de entrada-saída de dados, incluindo digamos, uma simples multiplicação Rice 1953.

Not every set that is Turing equivalent to the halting problem is a halting probability.
Nem todo conjunto que é Turing equivalente ao problema da parada é uma probabilidade de parada..

Any such tree has a path computable from formula_17, the canonical Turing complete set that can decide the halting problem.
Toda árvore desse tipo tem um caminho computável a partir de formula_11, o conjunto Turing completo que pode decidir o problema de parada.

The following example shows how to use reduction from the halting problem to prove that a language is undecidable.
O exemplo a seguir mostra como usar redução do problema da parada para provar que uma linguagem é indecidível.

This creates a hierarchy of machines, each with a more powerful halting oracle and an even harder halting problem.
Esse fato cria uma hierarquia de máquinas, chama de hierarquia aritmética, cada uma com oráculos mais poderosos e até mesmo problemas da parada mais difíceis.

For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument.
Por exemplo, a prova convencional da insolubilidade do problema da parada é essencialmente um argumento da diagonalização.

Any such tree has a path computable from 0′{\displaystyle 0'}, the canonical Turing complete set that can decide the halting problem.
Toda árvore desse tipo tem um caminho computável a partir de 0′{\displaystyle 0'}, o conjunto Turing completo que pode decidir o problema de parada.

Causality Circular reporting Halting problem Nested function Regress argument Self-reference There's a hole in the bucket Terry A. Osborn, The future of foreign language education in the United States, pp.31-33, Greenwood Publishing Group, 2002 ISBN 0-89789-719-6.
Sub-rotina aninhada Problema da parada Ardil 22(lógica) Pseudo-história O ovo ou a galinha Terry A. Osborn, The future of foreign language education in the United States, pp.31-33, Greenwood Publishing Group, 2002 ISBN 0-89789-719-6.

It also contains some undecidable problems, such as the unary version of every undecidable problem, including the halting problem.
Ele também contém alguns problemas indecidíveis, tais como a versão unary de cada problema indecidível, incluindo o Problema da parada.