Tag undecidability - Questa è pagina 3 - GeneraCodice

Quale lingua indecidabile $ B $ è riducibile al suo complemento?

https://www.generacodice.com/it/articolo/2472961/quale-lingua-indecidabile-b-e-riducibile-al-suo-complemento
  turing-machines  -  undecidability  -  reductions
cs.stackexchange cs.stackexchange

La lingua l= {<m>, m accetta una quantità finita di parole} decidabile?</m>

https://www.generacodice.com/it/articolo/2472944/la-lingua-l-m-m-accetta-una-quantita-finita-di-parole-decidabile-m
  turing-machines  -  undecidability  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Perché questa lingua è riconoscibile e non rilevabile riconoscibile

https://www.generacodice.com/it/articolo/2472511/perche-questa-lingua-e-riconoscibile-e-non-rilevabile-riconoscibile
  complexity-theory  -  turing-machines  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

Aiutami a capire questo problema della macchina di tentazione riguardante $ A_ {TM} $

https://www.generacodice.com/it/articolo/2470996/aiutami-a-capire-questo-problema-della-macchina-di-tentazione-riguardante-a-tm
  turing-machines  -  undecidability
cs.stackexchange cs.stackexchange

Mostralo per ogni lingua Esiste una lingua più dura

https://www.generacodice.com/it/articolo/2470979/mostralo-per-ogni-lingua-esiste-una-lingua-piu-dura
  turing-machines  -  undecidability  -  semi-decidability  -  reductions
cs.stackexchange cs.stackexchange

Dimostrando l'indecididabilità per una lingua che contiene stringa con una certa sintassi

https://www.generacodice.com/it/articolo/2468930/dimostrando-l-indecididabilita-per-una-lingua-che-contiene-stringa-con-una-certa-sintassi
  turing-machines  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

Is a 'discrete language' well-defined?

https://www.generacodice.com/it/articolo/2468573/is-a-discrete-language-well-defined
  discrete-mathematics  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

È $ Nhalt $ indecididabile anche se $ m $ ferma in ingresso $ W $ in passi finiti

https://www.generacodice.com/it/articolo/2468107/e-nhalt-indecididabile-anche-se-m-ferma-in-ingresso-w-in-passi-finiti
  complexity-theory  -  turing-machines  -  undecidability
cs.stackexchange cs.stackexchange

Decidi se una lingua ha una parola di una determinata dimensione

https://www.generacodice.com/it/articolo/2466712/decidi-se-una-lingua-ha-una-parola-di-una-determinata-dimensione
  computability  -  formal-languages  -  undecidability
cs.stackexchange cs.stackexchange

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