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 65 - GeneraCodice
Decision problem and algorithm
https://www.generacodice.com/en/articolo/1112152/decision-problem-and-algorithm
turing-machines
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
Is the undecidable function $UC$ well-defined for proving the undecidability of Halting Problem?
https://www.generacodice.com/en/articolo/1112149/is-the-undecidable-function-uc-well-defined-for-proving-the-undecidability-of-halting-problem
computability
-
halting-problem
-
undecidability
-
proof-techniques
cs.stackexchange
Is the intersection of two regular languages regular?
https://www.generacodice.com/en/articolo/1111464/is-the-intersection-of-two-regular-languages-regular
undecidability
-
regular-languages
-
decision-problem
cs.stackexchange
Undecidability of the following language
https://www.generacodice.com/en/articolo/1111014/undecidability-of-the-following-language
turing-machines
-
undecidability
cs.stackexchange
Solvability of Turing Machines
https://www.generacodice.com/en/articolo/1110921/solvability-of-turing-machines
turing-machines
-
undecidability
cs.stackexchange
Showing the function=? is impossible
https://www.generacodice.com/en/articolo/1110090/showing-the-function-is-impossible
lambda-calculus
-
halting-problem
-
undecidability
cs.stackexchange
How do I show that whether a PDA accepts some string $\{ w!w \mid w \in \{ 0, 1 \}^*\}$ is undecidable?
https://www.generacodice.com/en/articolo/1109493/how-do-i-show-that-whether-a-pda-accepts-some-string-w-w-mid-w-in-0-1-is-undecidable
automata
-
formal-languages
-
undecidability
-
pushdown-automata
-
context-free
cs.stackexchange
Why does $A_\text{TM} \le_m \text{HALTING} \le_m \text{HALTING}^\varepsilon$?
https://www.generacodice.com/en/articolo/1108714/why-does-a-text-tm-le-m-text-halting-le-m-text-halting-varepsilon
turing-machines
-
halting-problem
-
undecidability
-
reductions
cs.stackexchange
Reduction of A_LBA to E_LBA
https://www.generacodice.com/en/articolo/1108619/reduction-of-a-lba-to-e-lba
turing-machines
-
computability
-
undecidability
-
reductions
cs.stackexchange
First-order logic arity defines decidability?
https://www.generacodice.com/en/articolo/1108570/first-order-logic-arity-defines-decidability
logic
-
satisfiability
-
first-order-logic
-
undecidability
-
reference-request
cs.stackexchange
«
62
63
64
65
66
67
»
Results found: 685