What is the translation of " MODEL OF COMPUTATION " in Portuguese?

• modelo de computação
• modelo computacional

Examples of using Model of computation in English and their translations into Portuguese

It is therefore a strictly more powerful model of computation.
Por isso, é um modelo de computação estritamente mais poderoso.

For any model of computation there exist simple analogs of the busy beaver.
Para qualquer modelo de computação existem análogos simples do castor ocupado.

No such result has been proved in general for an arbitrary but"reasonable" model of computation.
Nenhum resultado como esse foi provado para um arbitrário, mas razoável, modelo computacional.

This model of computation is thus strictly more powerful than finite state machines.
Este modelo de computação é, então, estritamente mais poderoso que a máquina de estados finita.

It states::"" A probabilistic Turing machine can efficiently simulate any realistic model of computation.
Ele afirma::" Uma Máquina de Turing probabilística pode eficientemente simular qualquer modelo computacional realístico.

A model of computation is a formal description of a particular type of computational process.
Um modelo da computação é uma descrição formal de um tipo particular de processo computacional.

It is remarkable since it is a characterization of the class NP that does not invoke a model of computation such as a Turing machine.
É notável, pois é uma caracterização da classe NP que não invoca um modelo de computação, tal como uma máquina de Turing.

No stronger model of computation which is generally considered to be effectively calculable has been proposed.
Nenhum modelo de computação mais forte, que é geralmente considerado como sendo efetivamente calculável foi proposto.

They are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Elas são usadas para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing e a máquina registradora.

It is a model of computation equivalent to a Turing machine, and therefore it can process the same class of formal languages.
É um modelo de computação equivalente a uma máquina de Turing, e, portanto, ele pode processar qualquer linguagem formal.

One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.
Um dos objetivos da Teoria da Computabilidade é determinar que problemas, ou classes de problemas, podem ser resolvidos em cada modelo de computação.

This is commonly accomplished by supplementing the model of computation with an additional primitive operation which asks whether a given integer is a member of"A.
Geralmente, isto é alcançado complementando o modelo de computação com uma operação primitiva adicional que pergunta se um dado inteiro é um membro de"A.

In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation.
A teoria da computação, um subcampo da ciência da computação e matemática, busca determinar quais problemas podem ser computados em um dado modelo de computação.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Elas são usadas para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing e a máquina registradora.

This is permitted because it is believed that all such uses of the thesis can be removed by the tedious process of writing a formal procedure for the function in some model of computation.
Isto é permitido porque acredita-se que todos os usos da tese podem ser removidos pelo processo tedioso de escrever um procedimento formal para a função em algum modelo de computação.

In computability theory and computational complexity theory, a model of computation is the definition of the set of allowable operations used in computation and their respective costs.
Em teoria da computabilidade, um modelo de computação é a definição de um conjunto de operações que podem ser usadas numa computação e seus respectivos custos.

The following pseudocode illustrates a straightforward way to compute"g": Because"g" is partial computable, there must be a program"e" that computes"g", by the assumption that the model of computation is Turing-complete.
O pseudocódigo seguinte ilustra um meio simples de se computar"g": Por"g" ser uma função parcial computável, deve haver um programa"e" que compute"g", assumindo que o modelo de computação é Turing-completo.

In this model of computation the basic arithmetic operations(addition, subtraction, multiplication, division, and comparison) take a unit time step to perform, regardless of the sizes of the operands.
Neste modelo de cálculo as operações aritméticas básicas(adição, subtração, multiplicação, divisão e comparação) dão um passo na unidade de tempo para realizar, independentemente do tamanho dos operandos.

The(Stream) X-Machine Testing Methodology is a complete functional testing approach to software- and hardware testing that exploits the scalability of the Stream X-Machine model of computation.
O(Stream) X-Máquina Metodologia de ensaio é um teste funcional completo para uma abordagem de teste de software- e de hardware, que explora a escalabilidade do Córrego X-Machine modelo de computação.

UPC uses a Single Program Multiple Data(SPMD) model of computation in which the amount of parallelism is fixed at program startup time, typically with a single thread of execution per processor.
O UPC usa um modelo de computação de Dados Múltiplos de Programa Único(SPMD) no qual a quantidade de paralelismo é fixada no tempo de inicialização do programa, normalmente com um único encadeamento de execução por processador.

This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform, hence creating a model of computation.
Isto pode ser mostrado por descrevendo a relação entre a entrada e a saída de um programa, ou uma explicação de como o programa será executado em uma determinada plataforma, criando assim um modelo de computação.

A security model may be founded upon a formal model of access rights, a model of computation, a model of distributed computing, or no particular theoretical grounding at all.
Um modelo de segurança pode ser fundada sobre um modelo formal de direitos de acesso, um modelo de computação, um modelo de computação distribuída, ou mesmo nenhum embasamento teórico específico.

For example, the Physical Church-Turing thesis(PCTT) states:::"All physically computable functions are Turing-computable"The Church-Turing thesis says nothing about the efficiency with which one model of computation can simulate another.
Por exemplo, a Physical Church-Turing thesis(PCTT) afirma:::"De acordo com a PCTT, todas as funções fisicamente computáveis, são Turing-computáveis"A tese de Church-Turing não menciona nada sobre a eficiência com que um modelo computacional pode simular outro.

Another reason for turning to C++, which Stepanov recognized early on, was the C/C++ model of computation that allows very flexible access to storage via pointers, which is crucial to achieving generality without losing efficiency.
Outro motivo para usar C++ que Stepanov percebeu posteriormente foi que o modelo computacional do C/C++, que permite muita flexibilidade para acessar dados por ponteiros, o que é crucial para obter desenvolvimento genérico sem perder eficiência.

In 1969 Howard observes that another, more"high-level" proof system, referred to as natural deduction, can be directly interpreted in its intuitionistic version as a typed variant of the model of computation known as lambda calculus.
A observação em 1969 feita por Howard que outro, mais“alto-nível”, sistema de prova, conhecido como dedução natural, pode ser diretamente interpretado em sua versão intuicionista como uma variante tipada do modelo computacional conhecido como lambda cálculo.

The model of computation: The most common model of computation is the deterministic Turing machine, but many complexity classes are based on nondeterministic Turing machines, boolean circuits, quantum Turing machines, monotone circuits, etc.
O modelo de computação: o modelo de computação mais comum é a Máquinda de Turing Determinística, porém, muitas classes de complexidade são baseadas em Máquinas de Turing Não-Determiníticas, circuitos booleanos, Máquina de Turing Quântica, circuitos monótonos, etc.

The earliest variant, the continuous-time Analog X-Machine(AXM), was introduced by Mike Stannett in 1990 as a potentially"super-Turing" model of computation; it is consequently related to work in hypercomputation theory.
A mais antiga variante, a máquina de tempo contínuo Analog X-Machine(AXM) foi introduzida por Mike Stannet em 1990 como um potencial modelo de computação"super-Turing"; ela é consequentemente relacionada a teoria da hipercomputação.

One at the level of formulas and types that is independent of which particular proof system or model of computation is considered, and one at the level of proofs and programs which, this time, is specific to the particular choice of proof system and model of computation considered.
Um no nível de formulas e tipos que é independente de qual sistema de provas ou modelo computacional é considerada, e outra no nível de provas e programas que, por sua vez, é específica para o sistema de provas e modelo computacional considerado.

Since Turing machines are easy to analyze mathematically, and are believed to be as powerful as any other model of computation, the Turing machine is the most commonly used model in complexity theory.
Como as máquinas de Turing são fáceis de analisar matematicamente, e acredita-se que sejam tão poderosas quanto qualquer outro modelo de computação, a máquina de Turing é o modelo mais comumente usado em teoria da complexidade.

Different models of computation have the ability to do different tasks.
Modelos de computação diferentes podem realizar tarefas distintas.