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 16 - GeneraCodice
$ 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
È possibile per una lingua e il suo complemento sia irriconoscibile?
https://www.generacodice.com/it/articolo/1494945/e-possibile-per-una-lingua-e-il-suo-complemento-sia-irriconoscibile
computability
-
semi-decidability
cs.stackexchange
Perché la classe di lingue ricorsivamente enumerabili non è chiusa sotto complementazione?
https://www.generacodice.com/it/articolo/1493574/perche-la-classe-di-lingue-ricorsivamente-enumerabili-non-e-chiusa-sotto-complementazione
computability
-
closure-properties
-
semi-decidability
cs.stackexchange
L'insieme di numeri di Gödel di funzioni costanti calcolabili è ricorsivamente enumerabile?
https://www.generacodice.com/it/articolo/1490613/l-insieme-di-numeri-di-godel-di-funzioni-costanti-calcolabili-e-ricorsivamente-enumerabile
computability
-
semi-decidability
cs.stackexchange
«
13
14
15
16
17
18
»
Risultati trovati: 173