Tag halting-problem - Dies ist Seite 31 - GeneraCodice

How does this proof, that the halting problem is undecidable, work?

https://www.generacodice.com/de/articolo/1366669/how-does-this-proof-that-the-halting-problem-is-undecidable-work

halting-problem

The use of System.currentTimeMillis() in loops in Java [closed]

https://www.generacodice.com/de/articolo/1344812/the-use-of-system-currenttimemillis-in-loops-in-java-closed

java - halting-problem

Kann eine Methode geschrieben werden, wenn die Sprache unentscheidbar ist?

https://www.generacodice.com/de/articolo/1127493/kann-eine-methode-geschrieben-werden-wenn-die-sprache-unentscheidbar-ist

halting-problem - formal-grammars - undecidability - turing-completeness - decision-problem

cs.stackexchange

Verwirrende Äquivalenz $ phi (n, n) Downarrow leftrightarrow text {Halt} (n, n) $

https://www.generacodice.com/de/articolo/1126989/verwirrende-aequivalenz-phi-n-n-downarrow-leftrightarrow-text-halt-n-n

computability - halting-problem

cs.stackexchange

Alternativer Beweis für die Unentschlossenheit von $ a_ {tm} $

https://www.generacodice.com/de/articolo/1126457/alternativer-beweis-fuer-die-unentschlossenheit-von-a-tm

turing-machines - terminology - computability - halting-problem

cs.stackexchange

Ist Oracle Computer in der Lage, unendliche Schleifen zu machen?

https://www.generacodice.com/de/articolo/1124721/ist-oracle-computer-in-der-lage-unendliche-schleifen-zu-machen

turing-machines - halting-problem - oracle-machines

cs.stackexchange

Kann eine Turing -Maschine entscheiden, ob ein Schleifenprogramm für die Ganzzahleingabe 0 stoppt

https://www.generacodice.com/de/articolo/1124687/kann-eine-turing-maschine-entscheiden-ob-ein-schleifenprogramm-fuer-die-ganzzahleingabe-0-stoppt

loops - turing-machines - halting-problem

cs.stackexchange

Beziehung zwischen Unentscheidbaren Probleme und Rekursiv Aufzählbare Sprachen

https://www.generacodice.com/de/articolo/1124372/beziehung-zwischen-unentscheidbaren-probleme-und-rekursiv-aufzaehlbare-sprachen

computability - halting-problem - undecidability

cs.stackexchange

Problem stoppen

https://www.generacodice.com/de/articolo/1123924/problem-stoppen

turing-machines - halting-problem

cs.stackexchange

Gibt es ein immer ins Stocken geratenes, begrenztes Rechenmodell, das $R$ akzeptiert, aber nicht $RE$?

https://www.generacodice.com/de/articolo/1122791/gibt-es-ein-immer-ins-stocken-geratenes-begrenztes-rechenmodell-das-r-akzeptiert-aber-nicht-re

turing-machines - computability - lambda-calculus - halting-problem - computation-models

cs.stackexchange

«
28
29
30
31
32
33
»

Gefundene Ergebnisse: 342