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 1 - GeneraCodice
Cannot understand reductions from the halting problem and its complement
https://www.generacodice.com/pt/articolo/2477097/cannot-understand-reductions-from-the-halting-problem-and-its-complement
turing-machines
-
undecidability
cs.stackexchange
Esta linguagem é decidível?
https://www.generacodice.com/pt/articolo/2477036/esta-linguagem-e-decidivel
turing-machines
-
undecidability
cs.stackexchange
É $ \ {w ~ | ~ \ forall x \ in t (m_v): | w |> | x | ~ \} $ decidível?
https://www.generacodice.com/pt/articolo/2475207/e-w-forall-x-in-t-m-v-w-x-decidivel
undecidability
-
semi-decidability
-
decision-problem
cs.stackexchange
Union of every language within group of decidable languages is also decidable?
https://www.generacodice.com/pt/articolo/2475172/union-of-every-language-within-group-of-decidable-languages-is-also-decidable
halting-problem
-
undecidability
-
finite-sets
cs.stackexchange
Por que a linguagem seguinte é indecidável?
https://www.generacodice.com/pt/articolo/2475052/por-que-a-linguagem-seguinte-e-indecidavel
turing-machines
-
undecidability
-
rice-theorem
cs.stackexchange
O problema que determina sempre que a palavra membro $ \ em $ l (m) decidível ou não?
https://www.generacodice.com/pt/articolo/2474814/o-problema-que-determina-sempre-que-a-palavra-membro-em-l-m-decidivel-ou-nao
turing-machines
-
formal-languages
-
undecidability
-
decision-problem
cs.stackexchange
O problema de correspondência pós é mais de duas linhas mais duras que a variante padrão de duas filas?
https://www.generacodice.com/pt/articolo/2473581/o-problema-de-correspondencia-pos-e-mais-de-duas-linhas-mais-duras-que-a-variante-padrao-de-duas-filas
undecidability
cs.stackexchange
Proof of the undecidability of compiler code optimization
https://www.generacodice.com/pt/articolo/2473423/proof-of-the-undecidability-of-compiler-code-optimization
undecidability
-
compilers
cs.stackexchange
Que linguagem indecidável $ b $ é reduzível ao seu complemento?
https://www.generacodice.com/pt/articolo/2472961/que-linguagem-indecidavel-b-e-reduzivel-ao-seu-complemento
turing-machines
-
undecidability
-
reductions
cs.stackexchange
É o languague L={<M>, M aceita uma quantidade finita de palavras} decdidable?
https://www.generacodice.com/pt/articolo/2472944/e-o-languague-l-m-m-aceita-uma-quantidade-finita-de-palavras-decdidable
turing-machines
-
undecidability
-
church-turing-thesis
cs.stackexchange
«
1
2
3
4
5
6
»
Resultados encontrados: 685