Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
halting problem
Halteproblem n
Turing machines, decidability, halting problem
Turing-Maschinen, Entscheidbarkeit, Halteproblem
Contents: The main topics are: data types, functions and recursion, evaluation and termination of programs, halting problem, semantics of programming languages.
Inhalt: Die folgenden Themen werden vertiefend behandelt: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Halteproblem, Semantik von Programmiersprachen.
Any such tree has a path computable from 0' {\displaystyle 0'}, the canonical Turing complete set that can decide the halting problem.
Jeder solche Baum hat einen berechenbaren Pfad von 0' {\displaystyle 0'} , der kanonischen und Turing-vollständigen Menge, die das Halteproblem entscheiden kann.
Halting problem: Kurt Goedel and limits of programming languages
Halteproblem: Kurt Goedel und die Grenzen von Programmiersprachen
It does not try to solve the halting problem.;) Link: Twitter
Er wird nicht versuchen, das Halteproblem zu lösen.;) Link: Twitter
The self-reference voids the diagonal argument for the halting problem.
Die Selbstreferenz macht das Diagonalargument für das Halteproblem unzulässig.
The proof that the halting problem is not solvable is a proof by contradiction.
Der Nachweis, dass die Diagonalsprache nicht semientscheidbar ist, geschieht durch einen Widerspruchsbeweis.
He stated in 1914 the so-called word problem for semigroups or Thue problem, closely related to the halting problem.
1914 erschien eine Folgearbeit, in der er das Wortproblem oder auch Thue problem mit dem Halteproblem in Zusammenhang brachte.
For example, the Boolean satisfiability problem can be reduced to the halting problem by transforming it to the description of a Turing machine that tries all truth value assignments and when it finds one that satisfies the formula it halts and otherwise it goes into an infinite loop.
Beispielsweise lässt sich das Erfüllbarkeitsproblem auf das Halteproblem reduzieren, indem eine Instanz des Erfüllbarkeitsproblems in eine Turingmaschine transformiert wird, die nacheinander alle möglichen Belegungen durchprobiert und hält, sobald eine erfüllende Belegung gefunden ist, andernfalls jedoch in eine Endlosschleife übergeht.
There are decision problems that are NP-hard but not NP-complete, for example the halting problem.
Es gibt aber NP-schwere Probleme, die selbst nicht in NP liegen, also noch schwerer als NP sind.
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.
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.
At the same time, their ability to express indefinite iteration entails undecidable problems, as famously demonstrated by Turing's work on the halting problem.
Wie Turings frühe Arbeit zum Halteproblem zeigt, bringt die Ausdrucksstärke solcher Anweisungen allerdings unentscheidbare Probleme mit sich.
Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation."
Church und Turing fanden dann heraus, dass der Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind, und konnten noch einige weitere äquivalente Mechanismen zum Berechnen von Funktionen angeben.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor halting problem in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
beanbag: soft furniture filled with beans for seating
Ontdek het woord
beanbag
Publiciteit

Resultaten: 39. Exact: 14. Verstreken tijd: 58 ms.