Turing model of computation oor Spaans
Turing model of computation
Vertalings in die woordeboek Engels - Spaans
máquina de Turing
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Turing’s model of universal computation was one-dimensional: a string of symbols encoded on a tape.
¿ No es la manera de acabar una relación?Literature Literature
Similarly, in the Turing machine model of computation, a reversible Turing machine is one whose transition function is invertible, so that each machine state has at most one predecessor.
En la mitología clásica, hay bastantes cíclopes...... pero nunca de ese tamañoWikiMatrix WikiMatrix
From this it could follow that consciousness itself might be fundamentally non-algorithmic, and incapable of being modeled as a classical Turing machine type of computer.
Todavía estás de lutoWikiMatrix WikiMatrix
With respect to the reduction of computers to simple Turing equivalent models (and vice versa), Minsky's designation of Wang as having made "the first formulation" is open to debate.
El elemento determinante para la aplicación del artículo # del citado Reglamento en su totalidad radica en el hecho de que el interesado residiera, durante su último período de actividad por cuenta ajena o por cuenta propia, en un Estado miembro distinto de aquel a cuya legislación estaba sujeto, que no tiene necesariamente que ser el mismo en cuyo territorio ejercía una actividad por cuenta ajena o por cuenta propiaWikiMatrix WikiMatrix
Church’s thesis implies that a Turing machine is the correct abstract model of a digital computer.
Puedo decirle que se suicideLiterature Literature
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
En la alta sociedad soy muy popularWikiMatrix WikiMatrix
✦ Turing Machines : These are automata that model the power of real computers.
¿ Me podrías conseguir...... una muestra de la tierra que hay debajo del cuerpo?Literature Literature
A formal definition of zero-knowledge has to use some computational model, the most common one being that of a Turing machine.
Hay mucho en juego, ¿ No es eso lo que hace interesante la partida?WikiMatrix WikiMatrix
Indeed, Minsky confirms this: "that the first formulation of Turing-machine theory in computer-like models appears in Wang (1957)" (Minsky 1967:200).
Cuántos años tiene?WikiMatrix WikiMatrix
This was the very same time when computers were being invented, very much based on the idea of modeling the brain -- of "intelligent machinery," as Alan Turing called it, one of the fathers of computer science.
Tengo una entregated2019 ted2019
In the 1930s, he developed an abstract model of the computer which we now know as the " Turing Machine ".
¿ Dónde estaban todos los gatos?QED QED
The availability of powerful computers provides an alternative to classical continuum models like Turing’s.
Ha hecho un gran servicio a su país.- ¡ Capitàn!Literature Literature
Lambda calculus is known to be computationally equivalent in power to many other plausible models for computation (including Turing machines); that is, any calculation that can be accomplished in any of these other models can be expressed in lambda calculus, and vice versa.
Si el vehículo presentado para su homologación de acuerdo con la presente Directiva cumpliera los requisitos del punto #, se concederá la homologaciónWikiMatrix WikiMatrix
Another relevant addition would be the discussions concerning interactive computation, especially those related to the meaning and use of Turing's model (Church-Turing thesis, Turing machines, etc.).
Tú has nacido para esto, RuthWikiMatrix WikiMatrix
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.
Cerrad las puertas _WikiMatrix WikiMatrix
They fall into the following broad categories: abstract machine and models equivalent to it (e.g. lambda calculus is equivalent to the Turing machine), used in proofs of computability and upper bounds on computational complexity of algorithms, and decision tree models, used in proofs of lower bounds on computational complexity of algorithmic problems.
¡ Frenos de emergencia!WikiMatrix WikiMatrix
In 1952, Alan Turing--best known for his work on computation and the mind--proposed a mathematical model consisting of a pair of equations describing the reaction and diffusion of two imaginary chemicals.
Ponga la pastilla en la jarraProjectSyndicate ProjectSyndicate
When Alan Turing came up with the idea of a universal machine he had in mind the simplest computing model powerful enough to calculate all possible functions that can be calculated.
Criterios para la aprobación de una sustancia como candidata a la sustituciónWikiMatrix WikiMatrix
In 1936 Alan Turing and Alonzo Church independently, and also together, introduced the formalization of an algorithm, with limits on what can be computed, and a "purely mechanical" model for computing.
Por favor, síganmeWikiMatrix WikiMatrix
*(Alan Turing 1912-1954, creator of the first computing model with its “ Turing machine “)
¿ Quiere decir un cofre?ParaCrawl Corpus ParaCrawl Corpus
Our existing computing devices are a subset of a set of possible physical computing machines, and Turing Machine model is a subset of envisaged more general natural computational models.
Por consiguiente, es necesario efectuar la distribución orientativa de la cantidad disponible entre los Estados miembros correspondientes, según lo dispuesto en el artículo #, apartado #, del Reglamento (CE) noParaCrawl Corpus ParaCrawl Corpus
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
¡ Pues, hace años que está secretamente enamorada de ti!WikiMatrix WikiMatrix
Theory Of Computation: Turing Model
Es mi misiónParaCrawl Corpus ParaCrawl Corpus
While Turing developed the Turing machine as a model of computation, Alonzo Church also developed a model of computation known as lambda-calculus.
Estoy en casaParaCrawl Corpus ParaCrawl Corpus
47 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.