en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag halting-problem - This is page 30 - GeneraCodice
Why is the halting problem decidable for LBA?
https://www.generacodice.com/en/articolo/1495040/why-is-the-halting-problem-decidable-for-lba
turing-machines
-
automata
-
halting-problem
-
undecidability
-
linear-bounded-automata
cs.stackexchange
Why is the halting problem unsolvable by a turing machine? [duplicate]
https://www.generacodice.com/en/articolo/1490979/why-is-the-halting-problem-unsolvable-by-a-turing-machine-duplicate
computability
-
halting-problem
cs.stackexchange
Is the halting problem specific to Turing machines?
https://www.generacodice.com/en/articolo/1490181/is-the-halting-problem-specific-to-turing-machines
turing-machines
-
halting-problem
cs.stackexchange
Is there a TM that halts on all inputs but that property is not provable?
https://www.generacodice.com/en/articolo/1489302/is-there-a-tm-that-halts-on-all-inputs-but-that-property-is-not-provable
turing-machines
-
computability
-
halting-problem
-
reference-request
cs.stackexchange
How does this proof, that the halting problem is undecidable, work?
https://www.generacodice.com/en/articolo/1366669/how-does-this-proof-that-the-halting-problem-is-undecidable-work
halting-problem
StackOverflow
The use of System.currentTimeMillis() in loops in Java [closed]
https://www.generacodice.com/en/articolo/1344812/the-use-of-system-currenttimemillis-in-loops-in-java-closed
java
-
halting-problem
StackOverflow
Can a method be written if the language is undecidable?
https://www.generacodice.com/en/articolo/1127493/can-a-method-be-written-if-the-language-is-undecidable
halting-problem
-
formal-grammars
-
undecidability
-
turing-completeness
-
decision-problem
cs.stackexchange
Confusing equivalence $\Phi(n,n)\downarrow \Leftrightarrow \text{HALT}(n,n)$
https://www.generacodice.com/en/articolo/1126989/confusing-equivalence-phi-n-n-downarrow-leftrightarrow-text-halt-n-n
computability
-
halting-problem
cs.stackexchange
Alternative proof for the undecidability of $A_{TM}$
https://www.generacodice.com/en/articolo/1126457/alternative-proof-for-the-undecidability-of-a-tm
turing-machines
-
terminology
-
computability
-
halting-problem
cs.stackexchange
Is oracle computer capable of doing infinite loops?
https://www.generacodice.com/en/articolo/1124721/is-oracle-computer-capable-of-doing-infinite-loops
turing-machines
-
halting-problem
-
oracle-machines
cs.stackexchange
«
27
28
29
30
31
32
»
Results found: 342