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 159 - GeneraCodice
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
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
$ 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
Ci sono proprietà indecidibili di non Turing-complete automi?
https://www.generacodice.com/it/articolo/1095778/ci-sono-proprieta-indecidibili-di-non-turing-complete-automi
computability
-
automata
-
undecidability
cs.stackexchange
Mappatura Riduzioni per completare di A $ _ {TM} $
https://www.generacodice.com/it/articolo/1095603/mappatura-riduzioni-per-completare-di-a-tm
computability
-
proof-techniques
-
reductions
cs.stackexchange
Turing riducibilità implica mappatura riducibilità
https://www.generacodice.com/it/articolo/1095496/turing-riducibilita-implica-mappatura-riducibilita
turing-machines
-
computability
-
reductions
cs.stackexchange
Se A è la mappatura riducibile a B allora il complemento di A è mappatura riducibile al complemento di B
https://www.generacodice.com/it/articolo/1095397/se-a-e-la-mappatura-riducibile-a-b-allora-il-complemento-di-a-e-mappatura-riducibile-al-complemento-di-b
complexity-theory
-
computability
-
reductions
cs.stackexchange
lingua secondaria non è Turing-riconoscibile, o potrebbe essere?
https://www.generacodice.com/it/articolo/1095206/lingua-secondaria-non-e-turing-riconoscibile-o-potrebbe-essere
computability
cs.stackexchange
Che cosa è co-qualcosa?
https://www.generacodice.com/it/articolo/1095099/che-cosa-e-co-qualcosa
complexity-theory
-
terminology
-
computability
cs.stackexchange
Che cosa è un buon riferimento per conoscere i sistemi di transizione di stato?
https://www.generacodice.com/it/articolo/1095045/che-cosa-e-un-buon-riferimento-per-conoscere-i-sistemi-di-transizione-di-stato
computability
-
automata
-
computation-models
-
reference-request
cs.stackexchange
«
156
157
158
159
160
161
»
Risultati trovati: 1630