Hello, I am an enchanted Turing machine...
For example, the Turing machine qualifies for demonstrating attributes of formal problems which are subject to studies in complexity research.
Die Turingmaschine eignet sich zum Beispiel zur Demonstration von Eigenschaften formaler Probleme, die Gegenstand von Untersuchungen der Komplexitätsforschung sind.
The Turing machine is an abstract machine existing only in theory.
Die Turing-Maschine ist eine abstrakte Maschine, die nur in der Theorie existiert.
As a pre-condition of cybernetics the Turing machine takes up a special place in history.
Die Turing-Maschine nimmt als Voraussetzung der Kybernetik eine besondere Stellung ein.
In every step, a Turing machine supports the following actions
Eine Turing-Maschine unterstützt in jedem Schritt folgende Möglichkeiten
So what I need to say is that no Turing machine, no computer can predict what a brain net will do.
Ich will damit sagen, dass keine Turing-Maschine, kein Computer vorhersagen kann, was das Gehirn-Netzwerk tun wird.
The inventor of the Turing machine is today regarded as one of the most influential theorists of the early computer science.
Der Erfinder der Turingmaschine gilt heute als einer der einflussreichsten Theoretiker der frühen Informatik und Computerentwicklung.
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.
The job of the prover - in principle a very powerful Turing machine - is to convince the verifier that the proof is correct.
Der Beweiser - im Prinzip eine sehr leistungsfähige Turing-Maschine - hat die Aufgabe, den Verifizierer von der Korrektheit eines Beweises zu überzeugen.
The Turing machine could write a symbol on the tape, or delete a symbol from the tape.
Die Turing-Maschine schreiben könnte ein Symbol auf dem Band, oder löschen Sie ein Symbol aus der Kassette.
A language L is in P if and only if there exists a deterministic Turing machine M, such that
Eine Sprache L ist in NP, falls es eine nichtdeterministische Turingmaschine M und ein Polynom p gibt, sodass gilt
The Turing machine is 'program driven': the representations it writes on its memory tape are defined unidirectional by the program.
Die Turingmaschine ist "programmgetrieben": Die Repräsentationen, die sie auf ihr Speichertape schreibt, sind einseitig vom Programm her definiert.