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 undecidability - This is page 67 - GeneraCodice
Which properties of context sensitive languages are decidable?
https://www.generacodice.com/en/articolo/1102798/which-properties-of-context-sensitive-languages-are-decidable
formal-languages
-
undecidability
-
context-sensitive
cs.stackexchange
What is the difference between halting, accepting, and deciding in the context of Turing machines?
https://www.generacodice.com/en/articolo/1099253/what-is-the-difference-between-halting-accepting-and-deciding-in-the-context-of-turing-machines
turing-machines
-
terminology
-
undecidability
cs.stackexchange
Is it decidable whether a TM reaches some position on the tape?
https://www.generacodice.com/en/articolo/1098267/is-it-decidable-whether-a-tm-reaches-some-position-on-the-tape
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is the set of Turing machines which stops in at most 50 steps on all inputs, decidable?
https://www.generacodice.com/en/articolo/1098216/is-the-set-of-turing-machines-which-stops-in-at-most-50-steps-on-all-inputs-decidable
computability
-
undecidability
cs.stackexchange
For a Turing Machine $M_1$, how is the set of machines $M_2$ which are “shorter” than $M_1$ and which accept the same language decidable?
https://www.generacodice.com/en/articolo/1098193/for-a-turing-machine-m-1-how-is-the-set-of-machines-m-2-which-are-shorter-than-m-1-and-which-accept-the-same-language-decidable
computability
-
undecidability
cs.stackexchange
Examples of undecidable problems whose intersection is decidable
https://www.generacodice.com/en/articolo/1098007/examples-of-undecidable-problems-whose-intersection-is-decidable
undecidability
-
reference-request
-
decision-problem
cs.stackexchange
Showing that the set of TMs which visit the starting state twice on the empty input is undecidable
https://www.generacodice.com/en/articolo/1098004/showing-that-the-set-of-tms-which-visit-the-starting-state-twice-on-the-empty-input-is-undecidable
turing-machines
-
halting-problem
-
undecidability
-
reductions
cs.stackexchange
Perplexed by Rice's theorem
https://www.generacodice.com/en/articolo/1097746/perplexed-by-rice-s-theorem
terminology
-
computability
-
undecidability
-
rice-theorem
cs.stackexchange
Semi-decidable problems with linear bound
https://www.generacodice.com/en/articolo/1097080/semi-decidable-problems-with-linear-bound
computability
-
time-complexity
-
undecidability
cs.stackexchange
Why absence of surjection with the power set is not enough to prove the existence of an undecidable language?
https://www.generacodice.com/en/articolo/1096307/why-absence-of-surjection-with-the-power-set-is-not-enough-to-prove-the-existence-of-an-undecidable-language
computability
-
formal-languages
-
undecidability
cs.stackexchange
«
64
65
66
67
68
69
»
Results found: 685