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 66 - GeneraCodice
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
Hardness of ambiguity/non-ambiguity for context-free grammars
https://www.generacodice.com/en/articolo/1108519/hardness-of-ambiguity-non-ambiguity-for-context-free-grammars
computability
-
ambiguity
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Can $f$ be not computable even if $L$ is decidable?
https://www.generacodice.com/en/articolo/1108400/can-f-be-not-computable-even-if-l-is-decidable
computability
-
formal-languages
-
undecidability
cs.stackexchange
When are 2 decision/optimization problems equivalent?
https://www.generacodice.com/en/articolo/1108384/when-are-2-decision-optimization-problems-equivalent
complexity-theory
-
terminology
-
undecidability
cs.stackexchange
Determining the classification of languages
https://www.generacodice.com/en/articolo/1108250/determining-the-classification-of-languages
turing-machines
-
halting-problem
-
formal-languages
-
undecidability
cs.stackexchange
Visualizing a Non Deterministic Decider
https://www.generacodice.com/en/articolo/1108182/visualizing-a-non-deterministic-decider
turing-machines
-
undecidability
-
nondeterminism
cs.stackexchange
Are all context-sensitive languages decidable?
https://www.generacodice.com/en/articolo/1107909/are-all-context-sensitive-languages-decidable
turing-machines
-
formal-grammars
-
undecidability
-
context-sensitive
cs.stackexchange
Decidability of a problem concerning polynomials
https://www.generacodice.com/en/articolo/1107879/decidability-of-a-problem-concerning-polynomials
computability
-
undecidability
-
computer-algebra
cs.stackexchange
«
63
64
65
66
67
68
»
Results found: 685