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 computability - Questa è pagina 158 - GeneraCodice
$ L (M) = L $ dove $ M $ è $ TM $ che si muove solo verso il lato destro in modo $ L $ è regolare
https://www.generacodice.com/it/articolo/1095930/-l-m-l-dove-m-e-tm-che-si-muove-solo-verso-il-lato-destro-in-modo-l-e-regolare
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
Perché non è questo problema indecidibile in NP?
https://www.generacodice.com/it/articolo/1096129/perche-non-e-questo-problema-indecidibile-in-np
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
La prova che $ \ {?M? | L (M) \ mbox {è context-free} \} $ non è (co) ricorsivamente enumerabile
https://www.generacodice.com/it/articolo/1096284/la-prova-che-m-l-m-mbox-e-context-free-non-e-co-ricorsivamente-enumerabile
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
C'è un linguaggio finito indecidibile di parole finite?
https://www.generacodice.com/it/articolo/1096303/c-e-un-linguaggio-finito-indecidibile-di-parole-finite
computability
-
formal-languages
-
undecidability
cs.stackexchange
Perché l'assenza di surjection con il set di alimentazione non è sufficiente a dimostrare l'esistenza di un linguaggio indecidibile?
https://www.generacodice.com/it/articolo/1096307/perche-l-assenza-di-surjection-con-il-set-di-alimentazione-non-e-sufficiente-a-dimostrare-l-esistenza-di-un-linguaggio-indecidibile
computability
-
formal-languages
-
undecidability
cs.stackexchange
Mostra che il problema della terminazione è decidibile per le macchine di Turing passa-uno
https://www.generacodice.com/it/articolo/1096692/mostra-che-il-problema-della-terminazione-e-decidibile-per-le-macchine-di-turing-passa-uno
turing-machines
-
computability
-
formal-languages
-
check-my-proof
cs.stackexchange
Macchina di Turing e decidibilità lingua
https://www.generacodice.com/it/articolo/1096709/macchina-di-turing-e-decidibilita-lingua
turing-machines
-
computability
cs.stackexchange
Turing riconoscibile => enumerabile
https://www.generacodice.com/it/articolo/1096749/turing-riconoscibile-enumerabile
turing-machines
-
computability
-
intuition
cs.stackexchange
Possono le codifiche set di una classe non banale delle lingue che contiene l'insieme vuoto essere ricorsivamente enumerabile?
https://www.generacodice.com/it/articolo/1096832/possono-le-codifiche-set-di-una-classe-non-banale-delle-lingue-che-contiene-l-insieme-vuoto-essere-ricorsivamente-enumerabile
turing-machines
-
computability
cs.stackexchange
Ricorsivo, ricorsivamente enumerabili e None of the Above
https://www.generacodice.com/it/articolo/1096856/ricorsivo-ricorsivamente-enumerabili-e-none-of-the-above
computability
-
formal-languages
cs.stackexchange
«
155
156
157
158
159
160
»
Risultati trovati: 1630