The ideas of this paper laid the way for a universal Turing machine, a theoretical idealized early computer which could be used for mathematical calculations.
Die Ideen dieser Arbeit ebneten den Weg für eine universelle Turing-Maschine, einen theoretisch idealisierten frühen Computer, der für mathematische Berechnungen verwendet werden konnte.
know the notions of decidability and recursive enumerability and understand the concept of a universal Turing machine
Turing proposed that all computations and logical operations could be performed by a simple machine, which he called the Universal Turing Machine, reading and modifying a linear sequence of symbols.
Turing postulierte, dass alle Berechnungen und logischen Operationen von einer einzigen Maschine, der von ihm so benannten Universellen Turing-Maschine, durchgeführt werden könnten, indem sie eine lineare Abfolge von Symbolen liest und modifiziert.
From this application-oriented angle one might, perhaps a tad provocatively, declare the computer, taken as a universal Turing machine, to be nothing more than just a geometrical machine, precisely because of the analytical notation standards, and at once in spite of them.
Aus dieser anwendungsorientierten Perspektive lässt sich etwas provokativ vielleicht sagen, der Computer als Universelle Turingmaschine begriffen bleibe somit nichts anderes als eine geometrische Maschine, gerade wegen der analytischen Notationsstandards und gleichzeitig ihnen zum Trotz.
Nuclear cloning, illustrated by the sheep Dolly, has made the Universal Turing Machine a highly revealing, if not all explaining, model of the cell.
Der Kerntransfer, bekannt durch das Klonschaf Dolly, macht die Universelle Turing-Maschine zu einem höchst anschaulichen, wenn nicht sogar alles erklärendem Modell der Zelle.
A broad range of problems - from inverting a bit string to adding binary numbers up to the Universal Turing Machine - makes TuringKara suitable at different levels of study.
Eine große Spannbreite von Aufgaben - vom Invertieren eines Bitstrings über die Addition von Binärzahlen bis hin zur Universellen Turing-Maschine - erlaubt den Einsatz von TuringKara auf verschiedenen Stufen.
I see great need of harmonizing unlimited potential of a planet-sized universal Turing machine with limits imposed by nature and human heritage.
sehe ich die große Notwendigkeit, das unbegrenzte Potenzial einer planten-großen universellen Turing Maschine mit den Grenzen der Natur und der Menschen in Einklang zu bringen.
Because finite codes always may be digitalised completely and everything that needs only a limitable store of encoding material can be depicted, by way of the universal Turing machine, in the sense of a homologous and isotopic figure. 3
Denn endliche Codes sind immer vollständig digitalisierbar und alles, was bloß einen begrenzbaren Bestand an Codierungsmaterial braucht, ist durch die universale Turing-Maschine darstellbar im Sinne einer homologen und isotopen Abbildung. 3
You end up with a situation where either the censorship people have to outlaw von Neumann and Herbert's architectures and replace them with something that's not a universal Turing machine, or they lose, full stop.
Wenn man das bis zum Ende durchspielt, kommt man bei einer Situation raus, dass entweder die Zensurverfechter von Neumann und Herbert's illegal machen und durch etwas ersetzen müssten, was keine universelle Turingmaschine ist, oder...
The Church-Turing thesis states that this is a law of mathematics - that a universal Turing machine can, in principle, perform any calculation that any other programmable computer can.
Eine Maschine, die Turing-vollständig ist, kann jede Berechnung, die irgendein Computer ausführen kann, ebenso ausführen und wird daher auch als universell programmierbar bezeichnet.
Alternatively, a Turing-equivalent system is one that can simulate, and be simulated by, a universal Turing machine. (All known Turing-complete systems are Turing equivalent, which adds support to the Church-Turing thesis.)
Exakt ausgedrückt bezeichnet Turing-Vollständigkeit in der Berechenbarkeitstheorie die Eigenschaft einer Programmiersprache oder eines anderen logischen Systems, sämtliche Funktionen berechnen zu können, die eine universelle Turingmaschine berechnen kann.
A Turing machine that is able to simulate any other Turing machine is called a universal Turing machine (UTM, or simply a universal machine).
Eine Funktion, die anhand einer Turingmaschine berechnet werden kann, wird Turing-berechenbar oder auch einfach berechenbar genannt. Turingmaschinen spielen auch eine bedeutende Rolle bei der Akzeptanz von formalen Sprachen.
More Evidence Comes In Concepts like the Principle of Computational Equivalence are long-term scientific ideas that require progressive validation-like the 2007 Wolfram-sponsored proof of the simplest universal Turing machine.
Konzepte wie das Prinzip der berechenbaren Äquivalenz sind langfristige wissenschaftliche Ideen, die progressive Validierung erfordern - wie der im Jahr 2007 von Wolfram ausgeschriebene Aufruf zum Beweis der einfachsten universellen Turingmaschine.