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.
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.
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.
OWL is decidable: it can generally not express everything programmable (halting problem).
OWL ist entscheidbar: es kann grundsätzlich nicht alles Programmierbare ausdrücken (Halteproblem).
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.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor halting problem in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
squirrel: small rodent with a bushy tail
Ontdek het woord
squirrel
Publiciteit

Resultaten: 41. Exact: 16. Verstreken tijd: 76 ms.