Tag halting-problem - Questa è pagina 7 - GeneraCodice

Sta controllando se la lunghezza di un programma C che può generare una stringa è inferiore a un dato numero decidabile?

https://www.generacodice.com/it/articolo/2443763/sta-controllando-se-la-lunghezza-di-un-programma-c-che-puo-generare-una-stringa-e-inferiore-a-un-dato-numero-decidabile
  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Turing recognizable but not Turing decidable language cannot have TM do not halt on infinitely many inputs

https://www.generacodice.com/it/articolo/1809104/turing-recognizable-but-not-turing-decidable-language-cannot-have-tm-do-not-halt-on-infinitely-many-inputs
  turing-machines  -  automata  -  halting-problem  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

Voglio sapere dove c'è il difetto nella mia discussione

https://www.generacodice.com/it/articolo/1620676/voglio-sapere-dove-c-e-il-difetto-nella-mia-discussione
  turing-machines  -  halting-problem  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

Perché non è possibile dimostrare che due macchine Turing calcolano la stessa funzione?

https://www.generacodice.com/it/articolo/1620606/perche-non-e-possibile-dimostrare-che-due-macchine-turing-calcolano-la-stessa-funzione
  turing-machines  -  halting-problem  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

Domanda simile a un grano impegnato per programmi while (CS teorico)

https://www.generacodice.com/it/articolo/1620581/domanda-simile-a-un-grano-impegnato-per-programmi-while-cs-teorico
  computability  -  halting-problem  -  busy-beaver
cs.stackexchange cs.stackexchange

Dal momento che il problema di arresto è indecidibile, significa che esiste un programma sempre indecidibile?

https://www.generacodice.com/it/articolo/1616595/dal-momento-che-il-problema-di-arresto-e-indecidibile-significa-che-esiste-un-programma-sempre-indecidibile
  turing-machines  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Variazioni del problema di arresto

https://www.generacodice.com/it/articolo/1616025/variazioni-del-problema-di-arresto
  halting-problem
cs.stackexchange cs.stackexchange

La prova del problema di arresto è sbagliata?

https://www.generacodice.com/it/articolo/1615886/la-prova-del-problema-di-arresto-e-sbagliata
  complexity-theory  -  turing-machines  -  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Problema di arresto probabilistico

https://www.generacodice.com/it/articolo/1615848/problema-di-arresto-probabilistico
  halting-problem  -  undecidability  -  probabilistic-turing-machines
cs.stackexchange cs.stackexchange

Halts-if-Valid è decidebile?

https://www.generacodice.com/it/articolo/1614916/halts-if-valid-e-decidebile
  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange
Risultati trovati: 342
scroll top