Tag computability - Esta é a página 6 - GeneraCodice

O que é a minimização de (μ-função) na leigo tems?

https://www.generacodice.com/pt/articolo/2472699/o-que-e-a-minimizacao-de-μ-funcao-na-leigo-tems
  computability
cs.stackexchange cs.stackexchange

O que há de errado com essa "prova" que $ \ mathbb {r} $ é enumerável?

https://www.generacodice.com/pt/articolo/2472636/o-que-ha-de-errado-com-essa-prova-que-mathbb-r-e-enumeravel
  enumeration  -  computability  -  real-numbers  -  uncountability
cs.stackexchange cs.stackexchange

Por que essa linguagem é reconhecível e não é reconhecível

https://www.generacodice.com/pt/articolo/2472511/por-que-essa-linguagem-e-reconhecivel-e-nao-e-reconhecivel
  complexity-theory  -  turing-machines  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

Is it true that if L* is recursive, L is also recursive?

https://www.generacodice.com/pt/articolo/2472067/is-it-true-that-if-l-is-recursive-l-is-also-recursive
  computability  -  formal-languages  -  kleene-star
cs.stackexchange cs.stackexchange

Confusão de travar problema

https://www.generacodice.com/pt/articolo/2471887/confusao-de-travar-problema
  computability  -  halting-problem
cs.stackexchange cs.stackexchange

Computabilidade da complexidade de Kolmogorov da linguagem incompleta de Turing

https://www.generacodice.com/pt/articolo/2470144/computabilidade-da-complexidade-de-kolmogorov-da-linguagem-incompleta-de-turing
  computability  -  kolmogorov-complexity
cs.stackexchange cs.stackexchange

Máquina de Turing que pode lembrar

https://www.generacodice.com/pt/articolo/2469201/maquina-de-turing-que-pode-lembrar
  turing-machines  -  computability
cs.stackexchange cs.stackexchange

Provando indecidenciar uma linguagem que contém string com determinada sintaxe

https://www.generacodice.com/pt/articolo/2468930/provando-indecidenciar-uma-linguagem-que-contem-string-com-determinada-sintaxe
  turing-machines  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

É correto dizer que eu é re se posso mapear redução de lh para l?

https://www.generacodice.com/pt/articolo/2468850/e-correto-dizer-que-eu-e-re-se-posso-mapear-reducao-de-lh-para-l
  computability
cs.stackexchange cs.stackexchange

Dada a para C, e de B para C com o conhecido complexidades, o que pode ser dito a respeito de a para B?

https://www.generacodice.com/pt/articolo/2468630/dada-a-para-c-e-de-b-para-c-com-o-conhecido-complexidades-o-que-pode-ser-dito-a-respeito-de-a-para-b
  complexity-theory  -  computability  -  time-complexity  -  category-theory
cs.stackexchange cs.stackexchange
Resultados encontrados: 1630
scroll top