Examples with "Halteproblems" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Dies ist nicht überraschend, da die Fähigkeit, diese Bestimmung zu treffen, die Lösung des Halteproblems implizieren würde und es erlaubte andere nicht-algorithmische Berechnungen durchzuführen, die in natürlicher Sprache beschrieben werden können.
This is not surprising, as the ability to make this determination would also imply the ability to solve the halting problem and perform any other non-algorithmic calculation that can be described in English.
Er stellte fest, dass viele Funktionen, die von einem Menschen ausgedacht werden können, erst gar nicht durch die Turingmaschine berechenbar sind, wie z. B. die Funktion des Halteproblems.
the proposition that any function that can be computed using an algorithm can be computed by a Turing machine.
Andere resultaten
Die Selbstreferenz macht das Diagonalargument für das Halteproblem unzulässig.
The self-reference voids the diagonal argument for the halting problem.
Dies ist nur die Lösung eines mit dem Halteproblem VERWANDTEN Problems.
This is only a solution of a problem RELATED to the halting-problem.
Ich betone ausdrücklich: Das Halteproblem ist auf Turing-Maschinen NICHT ENTSCHEIDBAR.
To say it explicitly: The halting-problem is NOT DECIDABLE on Turing-Maschines.
Halteproblem: Kurt Goedel und die Grenzen von Programmiersprachen
Halting problem: Kurt Goedel and limits of programming languages
Das Halteproblem beschreibt die Frage, ob die Ausführung eines Algorithmus zu einem Ende gelangt.
Wie Turings frühe Arbeit zum Halteproblem zeigt, bringt die Ausdrucksstärke solcher Anweisungen allerdings unentscheidbare Probleme mit sich.
At the same time, their ability to express indefinite iteration entails undecidable problems, as famously demonstrated by Turing's work on the halting problem.
Fred Cohen, ein Informatiker, der die Definition eines Computervirus formulierte, ging noch einen Schritt weiter und zeigte, dass das so genannte „Halteproblem" auch für die Cyber Security gilt.
Fred Cohen, a computer scientist who formulated the definition of a computer virus, went one step further and demonstrated that this so-called "halting problem" applies to cybersecurity as well.
Darüber hinaus liegt das Halteproblem aber selbst nicht in NP, da es überhaupt nicht entscheidbar ist.
Problems that are both NP-hard and NP-easy, but not necessarily in NP, since they may not be decision problems.
Ein klassisches Beispiel für ein Problem, das NP-schwer ist und nicht in NP liegt, ist das Halteproblem für Turingmaschinen.
This is an example of a problem that is thought to be hard, but is not thought to be NP-complete.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
