Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag undecidability - Questa è pagina 1 - GeneraCodice
Cannot understand reductions from the halting problem and its complement
https://www.generacodice.com/it/articolo/2477097/cannot-understand-reductions-from-the-halting-problem-and-its-complement
turing-machines
-
undecidability
cs.stackexchange
Questa lingua è decidabile?
https://www.generacodice.com/it/articolo/2477036/questa-lingua-e-decidabile
turing-machines
-
undecidability
cs.stackexchange
È $ \ {w ~ | ~ \ forlt x \ in t (m_v): | w |> | x | ~ \} $ decidabile?
https://www.generacodice.com/it/articolo/2475207/e-w-forlt-x-in-t-m-v-w-x-decidabile
undecidability
-
semi-decidability
-
decision-problem
cs.stackexchange
Union of every language within group of decidable languages is also decidable?
https://www.generacodice.com/it/articolo/2475172/union-of-every-language-within-group-of-decidable-languages-is-also-decidable
halting-problem
-
undecidability
-
finite-sets
cs.stackexchange
Perché la seguente lingua è undecidabile?
https://www.generacodice.com/it/articolo/2475052/perche-la-seguente-lingua-e-undecidabile
turing-machines
-
undecidability
-
rice-theorem
cs.stackexchange
È il problema che determina ogni volta che il membro del genere $ \ in $ L (m) decidabile o no?
https://www.generacodice.com/it/articolo/2474814/e-il-problema-che-determina-ogni-volta-che-il-membro-del-genere-in-l-m-decidabile-o-no
turing-machines
-
formal-languages
-
undecidability
-
decision-problem
cs.stackexchange
Il problema del post corrispondenza con più di due righe più duramente della variante standard a due righe?
https://www.generacodice.com/it/articolo/2473581/il-problema-del-post-corrispondenza-con-piu-di-due-righe-piu-duramente-della-variante-standard-a-due-righe
undecidability
cs.stackexchange
Proof of the undecidability of compiler code optimization
https://www.generacodice.com/it/articolo/2473423/proof-of-the-undecidability-of-compiler-code-optimization
undecidability
-
compilers
cs.stackexchange
Quale lingua indecidabile $ B $ è riducibile al suo complemento?
https://www.generacodice.com/it/articolo/2472961/quale-lingua-indecidabile-b-e-riducibile-al-suo-complemento
turing-machines
-
undecidability
-
reductions
cs.stackexchange
La lingua l= {<m>, m accetta una quantità finita di parole} decidabile?</m>
https://www.generacodice.com/it/articolo/2472944/la-lingua-l-m-m-accetta-una-quantita-finita-di-parole-decidabile-m
turing-machines
-
undecidability
-
church-turing-thesis
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 685