Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag undecidability - Esta é a página 5 - GeneraCodice
Decidibilidade de máquinas de Turing que nunca movem suas cabeças além de qualquer sequência de entrada
https://www.generacodice.com/pt/articolo/2465509/decidibilidade-de-maquinas-de-turing-que-nunca-movem-suas-cabecas-alem-de-qualquer-sequencia-de-entrada
turing-machines
-
computability
-
undecidability
cs.stackexchange
Decidabilidade de igualdade e solidez de expressões envolvendo aritmética e exponenciais elementares
https://www.generacodice.com/pt/articolo/2465430/decidabilidade-de-igualdade-e-solidez-de-expressoes-envolvendo-aritmetica-e-exponenciais-elementares
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
Halting Teoria do problema vs. prática
https://www.generacodice.com/pt/articolo/2464468/halting-teoria-do-problema-vs-pratica
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/pt/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
Como você poderia "resolver" o problema da parada se, hipoteticamente, os números ocupados do castor eram "pequenos"?
https://www.generacodice.com/pt/articolo/2462542/como-voce-poderia-resolver-o-problema-da-parada-se-hipoteticamente-os-numeros-ocupados-do-castor-eram-pequenos
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Diferença entre regular de gramática e CFG na geração de computação histórias e $\Sigma^*$
https://www.generacodice.com/pt/articolo/2459293/diferenca-entre-regular-de-gramatica-e-cfg-na-geracao-de-computacao-historias-e-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/pt/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
Parando problema para a máquina fixa de Turing e entrada fixa
https://www.generacodice.com/pt/articolo/2457906/parando-problema-para-a-maquina-fixa-de-turing-e-entrada-fixa
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
mostre que este conjunto decidível $ C $ existe
https://www.generacodice.com/pt/articolo/2454714/mostre-que-este-conjunto-decidivel-c-existe
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/pt/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
«
2
3
4
5
6
7
»
Resultados encontrados: 685