Tag semi-decidability - Questa è pagina 14 - GeneraCodice

Dimostrando che l'insieme di DTM che corrono per sempre non è riconoscibile

https://www.generacodice.com/it/articolo/1548176/dimostrando-che-l-insieme-di-dtm-che-corrono-per-sempre-non-e-riconoscibile
  turing-machines  -  computability  -  halting-problem  -  semi-decidability
cs.stackexchange cs.stackexchange

Differenza simmetrica delle lingue riconoscibili e finite di Turing

https://www.generacodice.com/it/articolo/1547501/differenza-simmetrica-delle-lingue-riconoscibili-e-finite-di-turing
  computability  -  formal-languages  -  closure-properties  -  semi-decidability
cs.stackexchange cs.stackexchange

A e B sono riconoscibili, a - b è riconoscibile?

https://www.generacodice.com/it/articolo/1546229/a-e-b-sono-riconoscibili-a-b-e-riconoscibile
  computability  -  closure-properties  -  semi-decidability
cs.stackexchange cs.stackexchange

Perché è vero che la relazione R e la sua negazione non sono semi decidabili?

https://www.generacodice.com/it/articolo/1544682/perche-e-vero-che-la-relazione-r-e-la-sua-negazione-non-sono-semi-decidabili
  computability  -  halting-problem  -  undecidability  -  semi-decidability
cs.stackexchange cs.stackexchange

La lingua è ricorsiva, quindi ricorsivamente enumerabile

https://www.generacodice.com/it/articolo/1543749/la-lingua-e-ricorsiva-quindi-ricorsivamente-enumerabile
  turing-machines  -  computability  -  semi-decidability
cs.stackexchange cs.stackexchange

Tipo di indecidibilità nel teorema del riso

https://www.generacodice.com/it/articolo/1538940/tipo-di-indecidibilita-nel-teorema-del-riso
  terminology  -  computability  -  semi-decidability
cs.stackexchange cs.stackexchange

Qual è il significato di indecidibilità nel teorema del riso?

https://www.generacodice.com/it/articolo/1538855/qual-e-il-significato-di-indecidibilita-nel-teorema-del-riso
  terminology  -  computability  -  undecidability  -  semi-decidability  -  rice-theorem
cs.stackexchange cs.stackexchange

Come scoprire se una funzione a tratti è parzialmente calcolabile?

https://www.generacodice.com/it/articolo/1538795/come-scoprire-se-una-funzione-a-tratti-e-parzialmente-calcolabile
  terminology  -  computability  -  semi-decidability
cs.stackexchange cs.stackexchange

P è indecidibile e non semidecidabile, Q è indecidibile e semidecidabile e P ⊂ Q [chiuso

https://www.generacodice.com/it/articolo/1538718/p-e-indecidibile-e-non-semidecidabile-q-e-indecidibile-e-semidecidabile-e-p-q-chiuso
  undecidability  -  semi-decidability
cs.stackexchange cs.stackexchange

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 cs.stackexchange
Risultati trovati: 173
scroll top