MODEL OF COMPUTATION - tradução para Português

• modelo de computação
• modelo computacional

Exemplos de uso de Model of computation em Inglês e suas traduções para o Português

Varying models of computation may define a"consensus problem.
Vários modelos de computação podem definir um problema de consenso.

Different models of computation have the ability to do different tasks.
Diferentes modelos de computação têm habilidades de realizar tarefas diferentes.

Catalog of models of computation for the development of domain-specific modeling….
Catálogo de modelos de computação para o desenvolvimento de linguagens específicas….

It is well known from other models of computation.
A mesma é conhecida em outros modelos de computação.

This property is captured mathematically in"nondeterministic" models of computation such as the nondeterministic finite automaton.
Esta propriedade é chamada matematicamente de modelo de computação"não determinístico", como o autômato finito não determinístico.

Hypercomputation or super-Turing computation refers to models of computation that go beyond, or are incomparable to, Turing computability.
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.

Hypercomputation or super-Turing computation refers to models of computation that can provide outputs that are not Turing computable.
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.

The field of Hypercomputation studies models of computation that go beyond normal Turing computation..
O campo da hipercomputação estuda modelos de computação que vão além da computação de Turing normal.

The models of computation listed above give different interpretations of what a procedure is and how it is used, but these interpretations share many properties.
A interpretação do significado de procedimento e como ele é usado cabe ao modelo de computação, mas cada interpretação compartilha algumas propriedades.

As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.
Tal como acontece com o conceito de uma função computável, a computabilidade relativa pode ter definições equivalentes em muitos modelos de computação diferentes.

John E. Savage(1998), Models of Computation: Exploring the Power of Computing.
JE Savage(1998), Models of Computation: Exploring the Power of Computing.

simple inductive Turing machines are equivalent models of computation.
Máquinas de Turing indutivas simples são modelos de computação equivalentes.

In comparison with other equivalent models of computation, simple inductive Turing machines
Em comparação com outros modelos de computação equivalentes, máquinas de Turing indutivas simples

there are many other models of computation that have the same computing power as Turing machines;
existem muitos outros modelos de computação que têm o mesmo poder de computação que máquinas de Turing;

Furthermore, it is known that everything that can be computed on other models of computation known to us today,
Além disso, sabe-se que tudo o que pode ser computado em outros modelos de computação conhecido por nós hoje,

the stability of these definitions under different models of computation, give evidence that Martin-Löf randomness is a fundamental property of mathematics
a estabilidade dessas definições sob diferentes modelos de computação, dá provas de que a aleatoriedade de Martin-Löf é uma propriedade fundamental da matemática

One direction of the proof that these two models of computation are equivalent in power is the observation that,
Uma direção da prova que esses dois modelos de computação são equivalentes em poder está na observação que:

The following facts are often taken as evidence for the thesis:* Many equivalent models of computation are known,
Os seguintes fatos são frequentemente tomados como evidências para a tese:* Muitos modelos de computação equivalentes são conhecidos,

The class of computable functions can be defined in many equivalent models of computation, including Turing machines μ-recursive functions Lambda calculus Post machines Post-Turing machines
A classe de funções computáveis pode ser definida em vários modelos de computação diferentes, incluindo Máquinas de Turing Funções μ-recursivas Lambda cálculo Máquinas de Post máquinas de Post-Turing

which is necessary when considering models of computation such as Turing machines that manipulate strings rather than numbers.
de caracteres,"> o que é necessário quando se consideram os modelos de computação, tais como máquinas de Turing que manipulam strings ao invés de números.