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

As linguagens em $\mathsf{coRE} \setminus \mathsf{R}$ possuem máquinas de Turing?

https://www.generacodice.com/pt/articolo/2479180/as-linguagens-em-mathsf-core-setminus-mathsf-r-possuem-maquinas-de-turing
  turing-machines  -  computability
cs.stackexchange cs.stackexchange

Prova de que línguas estão turing-reconhecível IFF calpecialmente enumerável

https://www.generacodice.com/pt/articolo/2478947/prova-de-que-linguas-estao-turing-reconhecivel-iff-calpecialmente-enumeravel
  enumeration  -  turing-machines  -  computability  -  formal-languages
cs.stackexchange cs.stackexchange

algoritmo para verificar satisfiability

https://www.generacodice.com/pt/articolo/2476884/algoritmo-para-verificar-satisfiability
  complexity-theory  -  computability  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

O termo "continuidade" tem um significado diferente em matemática e em CS?

https://www.generacodice.com/pt/articolo/2476469/o-termo-continuidade-tem-um-significado-diferente-em-matematica-e-em-cs
  terminology  -  computability
cs.stackexchange cs.stackexchange

O que é a "continuidade" como um termo em computável análise?

https://www.generacodice.com/pt/articolo/2476279/o-que-e-a-continuidade-como-um-termo-em-computavel-analise
  computability  -  topology  -  mathematical-analysis  -  computable-analysis
cs.stackexchange cs.stackexchange

qual é a relevância de computability ao aplicar diagonallization?

https://www.generacodice.com/pt/articolo/2475793/qual-e-a-relevancia-de-computability-ao-aplicar-diagonallization
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

For an NFA, can we always find a RAM?

https://www.generacodice.com/pt/articolo/2475099/for-an-nfa-can-we-always-find-a-ram
  complexity-theory  -  computability  -  finite-automata  -  discrete-mathematics  -  formal-languages
cs.stackexchange cs.stackexchange

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
Resultados encontrados: 1630
scroll top