What is the translation of " TURING MACHINE " in Spanish?

• máquina de turing

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

We can prove this using the Turing machine.
Podemos probar esto usando la máquina de Turing.

A Turing machine is a basic model of computation.
El modelo de la máquina de Turing es una manera de describir una computadora abstracta.

For much more see Turing machine equivalents;
Para mucho más, vea equivalentes de la máquina de Turing;

Similarly, our construction associates to every binary string α, a Turing machine Mα.
Similarmente, nuestra construcción asocia a cada cadena binaria α, una máquina de Turing Mα.

The Turing machine mathematically models a machine that mechanically operates on a tape.
La máquina de Turing modela matemáticamente a una máquina que opera mecánicamente sobre una cinta.

The best-known example is the Turing machine.
El ejemplo más conocido es la máquina de Turing.

A Turing Machine pattern was finally discovered in 2000 3 decades after the game was created.
La máquina de Turing implementada con células del juego de la vida se descubrió finalmente en el año 2000.

Show the rules for the 2-state, 2-color Turing machine 2506.
Muestre las reglas para la m á quina de Turing 2506 de dos estados, dos colores.

More precisely, a Turing machine consists of: A tape divided into cells, one next to the other.
Más precisamente, una máquina de Turing consta de: Una cinta que se divide en celdas, una al lado de la otra.

Informally, these theorems say that given more time, a Turing machine can solve more problems.
Informalmente, estos teoremas dicen que con más tiempo, una máquina de Turing puede resolver más problemas.

For much more see Turing machine equivalents; references can be found at register machine..
Para mucho más, vea equivalentes de la máquina de Turing; las referencias pueden ser encontradas en máquina de registro.

Rice's theorem shows that any non-trivial question about the output of a Turing machine is undecidable.
El teorema de Rice muestra que cualquier pregunta no trivial sobre la salida de una máquina de Turing es indecidible.

The Turing Machine is universal, pure function: both‘the works' and the‘that it works' of any computation.
La máquina de Turing es pura función universal: tanto«el mecanismo» para realizar cualquier cálculo como«lo que hace funcionar» ese mecanismo.

Computationally, a context-sensitive language is equivalent with a linear bounded nondeterministic Turing machine, also called a linear bounded automaton.
Computacionalmente, un lenguaje sensible al contexto es equivalente a una máquina de Turing no determinista linealmente acotada, también llamado Autómata linealmente acotado.

It can be visualized as a Turing machine with a black box, called an oracle, which is able to solve certain decision problems in a single operation.
Puede ser visualizada como una máquina de Turing con una caja negra, llamada oráculo, la cual puede decidir ciertos problemas de decisión en una simple operación.

In computational complexity theory, R is the class of decision problems solvable by a Turing machine, which is the set of all recursive languages.
En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos.

In order to produce a computable real, a Turing machine must compute a total function, but the corresponding decision problem is in Turing degree 0′′.
Para producir un real computable, una máquina de Turing debe calcular una función total, pero el problema de decisión tiene un grado de Turing 0′′.

Some examples include the first primitive recursive function that results in complexity, the smallest universal Turing Machine, and the shortest axiom for propositional calculus.
Algunos ejemplos incluyen la primera función primitiva recursiva que muestra resultados de complejidad, la máquina de Turing universal más pequeña y el axioma de cálculo proposicional más breve.

As the Turing Machine was encouraging the construction of computers, the UTM was encouraging the development of the fledgling computer sciences.
A medida que la máquina de Turing fomentaba la construcción de computadores, la UTM estaba alentando el desarrollo de la incipiente ciencia de la computación.

The tape is assumed to be arbitrarily extendable to the left and to the right, i.e., the Turing machine is always supplied with as much tape as it needs for its computation.
La cinta se supone que es arbitrariamente extensible hacia la izquierda y hacia la derecha, es decir, la máquina de Turing siempre es suministrada con tanta cinta como necesite para su computación.

A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas.

A model of computation may be defined in terms of an abstract computer, e.g., Turing machine, and/or by postulating that certain operations are executed in unit time.
Un modelo de computación puede definirse en términos de un ordenador abstracto, como la Máquina de Turing, y/o postulando que ciertas operaciones se ejecutan en una unidad de tiempo.

Determining whether a Turing machine is a busy beaver champion i.e., is the longest-running among halting Turing machines with the same number of states.
Determinar si una máquina de Turing es campeón del juego del castor ocupado es decir, es el más largo entre las máquinas de Turing de detención con el mismo número de estados.

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.
En lógica matemática y en ciencias de la computación teórica, una máquina de registro es una clase genérica de máquinas abstractas usadas en una manera similar a una máquina de Turing.

Without loss of generality, the input of Turing machine can be assumed to be in the alphabet{0, 1}; any other finite alphabet can be encoded over{0, 1.
Sin pérdida de generalidad, la entrada de la máquina de Turing puede asumirse en el alfabeto{0, 1}; cualquier otro alfabeto finito puede ser codificado sobre{0, 1.

This observation did not originate with the structured programming movement; these structures are sufficient to describe the instruction cycle of a central processing unit, as well as the operation of a Turing machine.
Estas estructuras son suficientes para describir el ciclo de instrucción de una unidad central de procesamiento, así como el funcionamiento de una máquina de Turing.

The combined system is analogous to a Turing machine but is differentiable end-to-end, allowing it to be efficiently trained by gradient descent.
El sistema combinado es análogo a una máquina de Turing pero es diferenciable de extremo a extremo, lo que le permite ser entrenado de manera eficiente con descenso del gradiente.

A Turing machine that is able to simulate any other Turing machine is called a universal Turing machine UTM, or simply a universal machine..
Una máquina de Turing que es capaz de simular cualquier otra máquina de Turing es llamada una máquina universal de Turing UTM, o simplemente una máquina universal.

One such generalization is to allow an infinitely repeated word on one or both sides of the Turing machine input, thus extending the definition of universality and known as"semi-weak" or"weak" universality, respectively.
Una de esas generalizaciones es permitir una palabra infinitamente repetida en uno o ambos lados de la entrada de la máquina de Turing, extendiendo así la definición de universalidad y conocida como universalidad"parcialmente débil" o"débil", respectivamente.

In 1973 Charles H. Bennett, at IBM Research, showed that a universal Turing machine could be made both logically and thermodynamically reversible, and therefore able in principle to perform arbitrarily much computation per unit of physical energy dissipated.
En 1973, Bennett, un investigador de IBM, mostró que se podía hacer una máquina de Turing universal que fuese reversible tanto lógica como termodinámicamente, y por tanto capaz, en principio, de realizar tantas operaciones de computación como se quiera por unidad de energía física disipada.