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 5 - GeneraCodice
Decidabilità delle macchine di tentazione che non muovono mai le loro teste oltre nessuna stringa di input
https://www.generacodice.com/it/articolo/2465509/decidabilita-delle-macchine-di-tentazione-che-non-muovono-mai-le-loro-teste-oltre-nessuna-stringa-di-input
turing-machines
-
computability
-
undecidability
cs.stackexchange
Decidabilità dell'uguaglianza e solidità delle espressioni che coinvolgono elementari aritmetiche ed esponenziali
https://www.generacodice.com/it/articolo/2465430/decidabilita-dell-uguaglianza-e-solidita-delle-espressioni-che-coinvolgono-elementari-aritmetiche-ed-esponenziali
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
La teoria dei problemi di fermezza vs. Pratica
https://www.generacodice.com/it/articolo/2464468/la-teoria-dei-problemi-di-fermezza-vs-pratica
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/it/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
Come potresti "risolvere" il problema fermante se, ipoteticamente, i numeri di castoro occupato erano "piccoli"?
https://www.generacodice.com/it/articolo/2462542/come-potresti-risolvere-il-problema-fermante-se-ipoteticamente-i-numeri-di-castoro-occupato-erano-piccoli
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Differenza tra grammatica regolari e CFG nella generazione di storie di calcolo e $ \ sigma ^ * $ $
https://www.generacodice.com/it/articolo/2459293/differenza-tra-grammatica-regolari-e-cfg-nella-generazione-di-storie-di-calcolo-e-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/it/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
Problema di arresto per la macchina di tentazione fissa e input fisso
https://www.generacodice.com/it/articolo/2457906/problema-di-arresto-per-la-macchina-di-tentazione-fissa-e-input-fisso
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
mostra che questo set decidabile $ c $ esiste
https://www.generacodice.com/it/articolo/2454714/mostra-che-questo-set-decidabile-c-esiste
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/it/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
«
2
3
4
5
6
7
»
Risultati trovati: 685