Tag undecidability - Questa è pagina 68 - GeneraCodice

problemi semi-decidibili con lineari vincolati

https://www.generacodice.com/it/articolo/1097080/problemi-semi-decidibili-con-lineari-vincolati
  computability  -  time-complexity  -  undecidability
cs.stackexchange cs.stackexchange

Perché l'assenza di surjection con il set di alimentazione non è sufficiente a dimostrare l'esistenza di un linguaggio indecidibile?

https://www.generacodice.com/it/articolo/1096307/perche-l-assenza-di-surjection-con-il-set-di-alimentazione-non-e-sufficiente-a-dimostrare-l-esistenza-di-un-linguaggio-indecidibile
  computability  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

C'è un linguaggio finito indecidibile di parole finite?

https://www.generacodice.com/it/articolo/1096303/c-e-un-linguaggio-finito-indecidibile-di-parole-finite
  computability  -  formal-languages  -  undecidability
cs.stackexchange 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 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 cs.stackexchange

Una questione relativa ad una macchina di Turing con uno stato inutile

https://www.generacodice.com/it/articolo/1092405/una-questione-relativa-ad-una-macchina-di-turing-con-uno-stato-inutile
  turing-machines  -  formal-methods  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

Come può essere decidibile se $ \ pi $ ha qualche sequenza di cifre?

https://www.generacodice.com/it/articolo/1091722/come-puo-essere-decidibile-se-pi-ha-qualche-sequenza-di-cifre
  computability  -  undecidability
cs.stackexchange cs.stackexchange

Decidibilità del linguaggio prefisso

https://www.generacodice.com/it/articolo/1091556/decidibilita-del-linguaggio-prefisso
  computability  -  undecidability
cs.stackexchange cs.stackexchange

Esiste un linguaggio indecidibile “naturale”?

https://www.generacodice.com/it/articolo/1091335/esiste-un-linguaggio-indecidibile-naturale
  computability  -  automata  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

È questo finito grafico problema decidibile? Quali fattori rendono un problema decidibile?

https://www.generacodice.com/it/articolo/1091262/e-questo-finito-grafico-problema-decidibile-quali-fattori-rendono-un-problema-decidibile
  graph-theory  -  computability  -  algorithms  -  undecidability
cs.stackexchange cs.stackexchange
Risultati trovati: 685
scroll top