Tag computability - Questa è pagina 161 - GeneraCodice

Quali sono i possibili tipi di lunghezze di parola in un linguaggio regolare?

https://www.generacodice.com/it/articolo/1091307/quali-sono-i-possibili-tipi-di-lunghezze-di-parola-in-un-linguaggio-regolare

computability - finite-automata - formal-languages - regular-languages

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

Perché le funzioni totali non enumerabile?

https://www.generacodice.com/it/articolo/1091523/perche-le-funzioni-totali-non-enumerabile

enumeration - computability - semi-decidability

cs.stackexchange

Decidibilità del linguaggio prefisso

https://www.generacodice.com/it/articolo/1091556/decidibilita-del-linguaggio-prefisso

computability - undecidability

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

C'è qualche relazione concreta tra teorema di incompletezza di Gödel, il problema della terminazione e macchine di Turing universali?

https://www.generacodice.com/it/articolo/1091824/c-e-qualche-relazione-concreta-tra-teorema-di-incompletezza-di-godel-il-problema-della-terminazione-e-macchine-di-turing-universali

logic - computability - halting-problem - incompleteness

cs.stackexchange

Facile da statali problemi aperti nella teoria della computabilità

https://www.generacodice.com/it/articolo/1091844/facile-da-statali-problemi-aperti-nella-teoria-della-computabilita

cs.stackexchange

E 'possibile derivare una stringa in questo sistema di riscrittura?

https://www.generacodice.com/it/articolo/1091851/e-possibile-derivare-una-stringa-in-questo-sistema-di-riscrittura

computability - term-rewriting

cs.stackexchange

È l'interazione più potente di algoritmi?

https://www.generacodice.com/it/articolo/1091868/e-l-interazione-piu-potente-di-algoritmi

computability - computation-models

cs.stackexchange

Decidablity di Lingue delle grammatiche e automi

https://www.generacodice.com/it/articolo/1092384/decidablity-di-lingue-delle-grammatiche-e-automi

turing-machines - computability - formal-languages - regular-languages - context-free

cs.stackexchange

Risultati trovati: 1630