TURING MACHINE in Portuguese translation

• máquina de turing
• máquinas de turing

Examples of using Turing machine in English and their translations into Portuguese

The language consisting of all Turing machine descriptions paired with all possible input streams on which those Turing machines will eventually halt, is not recursive.
A linguagem que consiste de todas as descrições das máquinas de Turing pareada com todas as possibilidades de entrada sobre a qual tais máquinas vão parar, não é recursiva.

M′⊆ M{\displaystyle M'\subseteq M} The tape alphabet of a one-track Turing machine equivalent to a two-track Turing machine consists of an ordered pair.
M′⊆ M{\displaystyle M'\subseteq M} O alfabeto da fita de uma máquina de Turing de uma fita equivalente a uma máquina de Turing de duas faixas, consiste em um par ordenado.

The difference lies only with the ability of a Turing machine to manipulate an unbounded amount of data.
A diferença está apenas na habilidade de uma máquina de Turing de manipular uma quantidade ilimitada de dados.

If the supply of these runs short, the Turing machine may become less useful as a model.
Se o suprimento destes for curto, a máquina de Turing pode se tornar menos útil como modelo.

We solve this problem by introducing a k-string Turing machine with input and output.
Nós resolvemos esse problema ao introduzir uma máquina de Turing de k-cadeia com entrada e saída.

A deterministic Turing machine is the most basic Turing machine, which uses a fixed set of rules to determine its future actions.
Uma máquina de Turing determinística é a máquina de Turing do tipo mais básico, que utiliza um conjunto fixo de regras para determinar suas ações futuras.

It turns out that allowing the Turing machine to be nondeterministic does not add any extra power.
Acontece que permitir a máquina de Turing ser não-determinística, não adiciona nenhum poder extra.

Smith's proof has unleashed a debate on the precise operational conditions a Turing machine must satisfy in order for it to be candidate universal machine..
Prova de Smith desencadeou um debate sobre as condições precisas operacionais de uma máquina de Turing deve satisfazer a fim de que ela seja candidata a máquina universal.

When this Turing machine has a running time polynomial in n,
Quando este Autômato roda em um tempo de execução polinomial n,

The decision problem of whether the Turing machine with index e will halt on every input is not decidable.
O problema de decisão de uma máquina de Turing com índice e irá parar com toda parada não é decidível.

built around a Turing machine equipped with a rapidly increasing function as its oracle.
construído a partir de uma máquina de Turing equipada com uma função de crescimento rápido como seu oráculo.

The set of indices of total Turing machines==The decision problem of whether the Turing machine with index"e" will halt on every input is not decidable.
O conjunto de índices de máquinas de Turing totais==O problema de decisão de uma máquina de Turing com índice"e" irá parar com toda parada não é decidível.

The Turing machine was an abstraction of the operation of a tape-marking machine,
A máquina de Turing era uma abstração do funcionamento da máquina de uma fita de marcação,

Smith first constructed a sequence of rule systems showing that the(2,3) Turing machine is capable of arbitrary finite computations.
Smith primeiro construiu uma sequência de regras mostrando que a máquina de turing(2,3) é capaz de computações finitas arbitrarias.

Gold showed that any language which is defined by a Turing machine program can be learned in the limit by another Turing-complete machine using enumeration.
Gold mostrou que qualquer linguagem definida por um programa de uma Máquina de Turing pode ser aprendida no limite por outra máquina Turing completa usando enumeração.

As the Turing Machine was encouraging the construction of computers,
Como a máquina de Turing estava incentivando a construção de computadores,

Second, there are types of computations which do not conform to the Turing machine model on which P and NP are defined,
Segundo, existem tipos de cálculos que não são compatíveis ao modelo de máquina de Turing em que P e NP são definidos,

We say that a Turing machine can decide a language if it eventually will halt on all inputs
Dizemos que a máquina de Turing pode decidir uma linguagem se esta eventualmente parar em todas as entradas

This is because a Turing machine program can be written to mimic any program in any conventional programming language.
Isso se deve ao fato de que programas de Máquinas de Turing poderem ser escritos para imitar qualquer programa em qualquer linguagem de programação convencional.

or universal Turing machine theorem, is a basic result about Gödel numberings of the set of computable functions.
ou o teorema da Máquina de Turing universal, é um resultado básico sobre os números de Gödel do conjunto de funções computáveis.