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 semi-decidability - Questa è pagina 15 - GeneraCodice
Vero o falso: se $ a subeteq {0,1 }^* destrorrow a^* $ è semi-decidabile
https://www.generacodice.com/it/articolo/1535733/vero-o-falso-se-a-subeteq-0-1-destrorrow-a-e-semi-decidabile
formal-languages
-
semi-decidability
cs.stackexchange
Dimostrare il linguaggio della macchina infinito (con sottoinsieme finito) è ricorsivamente enumerabile
https://www.generacodice.com/it/articolo/1533595/dimostrare-il-linguaggio-della-macchina-infinito-con-sottoinsieme-finito-e-ricorsivamente-enumerabile
turing-machines
-
computability
-
semi-decidability
cs.stackexchange
La differenza di un set non ricorsivo e ricorsivo è ricorsiva?
https://www.generacodice.com/it/articolo/1530659/la-differenza-di-un-set-non-ricorsivo-e-ricorsivo-e-ricorsiva
computability
-
undecidability
-
semi-decidability
cs.stackexchange
$ Alwayshalt $ è ricorsivamente enumerabile?
https://www.generacodice.com/it/articolo/1527705/-alwayshalt-e-ricorsivamente-enumerabile
computability
-
halting-problem
-
semi-decidability
cs.stackexchange
È possibile ottenere una funzione totale mediante composizione di funzioni parziali?
https://www.generacodice.com/it/articolo/1527689/e-possibile-ottenere-una-funzione-totale-mediante-composizione-di-funzioni-parziali
terminology
-
computability
-
semi-decidability
cs.stackexchange
Come dimostrare che una lingua non è ricorsivamente enumerabile
https://www.generacodice.com/it/articolo/1527621/come-dimostrare-che-una-lingua-non-e-ricorsivamente-enumerabile
computability
-
proof-techniques
-
semi-decidability
cs.stackexchange
Il sistema di tipo Hindley-Milner più la ricorsione polimorfica è indecidibile o semidecidabile?
https://www.generacodice.com/it/articolo/1518547/il-sistema-di-tipo-hindley-milner-piu-la-ricorsione-polimorfica-e-indecidibile-o-semidecidabile
type-inference
-
semi-decidability
cs.stackexchange
Le lingue con stringhe infinite possono essere ricorsivamente enumerabili?
https://www.generacodice.com/it/articolo/1518000/le-lingue-con-stringhe-infinite-possono-essere-ricorsivamente-enumerabili
turing-machines
-
computability
-
formal-languages
-
semi-decidability
cs.stackexchange
Estensione del teorema di Rice
https://www.generacodice.com/it/articolo/1517678/estensione-del-teorema-di-rice
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Esiste un codice C ++ che richiede tempo infinito per compilare?
https://www.generacodice.com/it/articolo/1496419/esiste-un-codice-c-che-richiede-tempo-infinito-per-compilare
computability
-
compilers
-
semi-decidability
cs.stackexchange
«
12
13
14
15
16
17
»
Risultati trovati: 173