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 158 - GeneraCodice
$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
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
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
Is there an undecidable finite language of finite words?
https://www.generacodice.com/en/articolo/1096303/is-there-an-undecidable-finite-language-of-finite-words
computability
-
formal-languages
-
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
Show that the halting problem is decidable for one-pass Turing machines
https://www.generacodice.com/en/articolo/1096692/show-that-the-halting-problem-is-decidable-for-one-pass-turing-machines
turing-machines
-
computability
-
formal-languages
-
check-my-proof
cs.stackexchange
Turing machine and language decidability
https://www.generacodice.com/en/articolo/1096709/turing-machine-and-language-decidability
turing-machines
-
computability
cs.stackexchange
Turing Recognisable => enumerable
https://www.generacodice.com/en/articolo/1096749/turing-recognisable-enumerable
turing-machines
-
computability
-
intuition
cs.stackexchange
Can the encodings set of a non-trivial class of languages which contains the empty set be recursively enumerable?
https://www.generacodice.com/en/articolo/1096832/can-the-encodings-set-of-a-non-trivial-class-of-languages-which-contains-the-empty-set-be-recursively-enumerable
turing-machines
-
computability
cs.stackexchange
Recursive, Recursively Enumerable and None of the Above
https://www.generacodice.com/en/articolo/1096856/recursive-recursively-enumerable-and-none-of-the-above
computability
-
formal-languages
cs.stackexchange
«
155
156
157
158
159
160
»
Results found: 1630