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 computability - This is page 159 - GeneraCodice
Proof that $\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ is not (co-)recursively enumerable
https://www.generacodice.com/en/articolo/1096284/proof-that-m-l-m-mbox-is-context-free-is-not-co-recursively-enumerable
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
Why isn't this undecidable problem in NP?
https://www.generacodice.com/en/articolo/1096129/why-isn-t-this-undecidable-problem-in-np
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
$L(M) = L$ where $M$ is a $TM$ that moves only to the right side so $L$ is regular
https://www.generacodice.com/en/articolo/1095930/l-m-l-where-m-is-a-tm-that-moves-only-to-the-right-side-so-l-is-regular
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
Are there undecidable properties of non-turing-complete automata?
https://www.generacodice.com/en/articolo/1095778/are-there-undecidable-properties-of-non-turing-complete-automata
computability
-
automata
-
undecidability
cs.stackexchange
Mapping Reductions to Complement of A$_{TM}$
https://www.generacodice.com/en/articolo/1095603/mapping-reductions-to-complement-of-a-tm
computability
-
proof-techniques
-
reductions
cs.stackexchange
Turing reducibility implies mapping reducibility
https://www.generacodice.com/en/articolo/1095496/turing-reducibility-implies-mapping-reducibility
turing-machines
-
computability
-
reductions
cs.stackexchange
If A is mapping reducible to B then the complement of A is mapping reducible to the complement of B
https://www.generacodice.com/en/articolo/1095397/if-a-is-mapping-reducible-to-b-then-the-complement-of-a-is-mapping-reducible-to-the-complement-of-b
complexity-theory
-
computability
-
reductions
cs.stackexchange
Sub language is not Turing-recognizable, or could it be?
https://www.generacodice.com/en/articolo/1095206/sub-language-is-not-turing-recognizable-or-could-it-be
computability
cs.stackexchange
What is co-something?
https://www.generacodice.com/en/articolo/1095099/what-is-co-something
complexity-theory
-
terminology
-
computability
cs.stackexchange
What is a good reference to learn about state transition systems?
https://www.generacodice.com/en/articolo/1095045/what-is-a-good-reference-to-learn-about-state-transition-systems
computability
-
automata
-
computation-models
-
reference-request
cs.stackexchange
«
156
157
158
159
160
161
»
Results found: 1630