来自专业的译者、企业、网页和免费的翻译库。
o compilador converte o código fonte em bytecodes que podem ser interpretados por uma máquina abstrata de warren e os convertem em executáveis independentes.
the compiler converts the source code into byte code that can be interpreted by a warren abstract machine (wam) and converts that to standalone executables.
na teoria da complexidade, um sistema de prova interativa é uma máquina abstrata que formula computação como a troca de mensagens entre duas partes.
in computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties.
inferem que a máquina abstrata de rostidade produz relações binárias entre o que é aceito em uma primeira escolha e o que não é tolerado em uma segunda ou terceira escolha.
177. deleuze and guattari 2005 infer that the abstract machine of faciality produces binary relations between what is accepted in a first choice and what is not tolerated in a second or third choice. they exemplify 2005, p.
evidentemente, este modelo não pretende ser um modelo fisicamente realizável, é apenas uma máquina abstrata teoricamente interessante que dá origem a classes de complexidade particularmente interessantes.
clearly, this model is not meant to be a physically realizable model, it is just a theoretically interesting abstract machine that gives rise to particularly interesting complexity classes.
a máquina abstrata de rostidade assume um papel de resposta seletiva ou de escolha: dado um rosto concreto, a máquina julga se ele passa ou não passa, se vai ou não vai, segundo as unidades elementares.
the abstract machine of faciality assumes a role of selective response, or choice: given a concrete face, the machine judges whether it passes or not, whether it goes or not, on the basis of the elementary facial units.
a relação binária estabelecida, nesses casos, pela máquina abstrata de rostidade pode pressupor, sob certas condições, uma tolerância ou, ainda, indicar que se trata de um inimigo que é necessário extinguir a qualquer preço.
the binary relation established, in these cases, by the abstract machine of faciality can assume, under certain conditions, a tolerance or, yet, indicate that it is about an enemy who is necessary to extinguish whatever the cost.
uma típica classe de complexidade é definida da seguinte forma::o conjunto de problemas que podem ser resolvidos por uma máquina abstrata m usando o(f(n)) de recurso r, onde n é o tamanho da entrada.
a typical complexity class has a definition of the form::the set of problems that can be solved by an abstract machine m using o(f("n")) of resource r, where "n" is the size of the input.
na lógica matemática e na ciência da computação teórica uma "máquina de registradores "é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de turing.
in mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a turing machine.