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 4 - GeneraCodice
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
Is a 'discrete language' well-defined?
https://www.generacodice.com/pt/articolo/2468573/is-a-discrete-language-well-defined
discrete-mathematics
-
formal-languages
-
undecidability
cs.stackexchange
É $ nhalt $ indecidível mesmo se $ m $ pára na entrada $ w $ em etapas finitas
https://www.generacodice.com/pt/articolo/2468107/e-nhalt-indecidivel-mesmo-se-m-para-na-entrada-w-em-etapas-finitas
complexity-theory
-
turing-machines
-
undecidability
cs.stackexchange
Decida se uma linguagem tem uma palavra de um determinado tamanho
https://www.generacodice.com/pt/articolo/2466712/decida-se-uma-linguagem-tem-uma-palavra-de-um-determinado-tamanho
computability
-
formal-languages
-
undecidability
cs.stackexchange
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
«
1
2
3
4
5
6
»
Resultados encontrados: 685