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 8 - GeneraCodice
Como posso aplicar o teorema do arroz?
https://www.generacodice.com/pt/articolo/2448280/como-posso-aplicar-o-teorema-do-arroz
undecidability
-
rice-theorem
cs.stackexchange
é a linguagem vazia l= ∅ um subconjunto de todos os idiomas?
https://www.generacodice.com/pt/articolo/2446142/e-a-linguagem-vazia-l-um-subconjunto-de-todos-os-idiomas
halting-problem
-
undecidability
cs.stackexchange
Provar que a classe de idiomas CFG fechadas sob reversão é indecidável
https://www.generacodice.com/pt/articolo/2446077/provar-que-a-classe-de-idiomas-cfg-fechadas-sob-reversao-e-indecidavel
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
Um caso especial de soma de subconjunto
https://www.generacodice.com/pt/articolo/2445185/um-caso-especial-de-soma-de-subconjunto
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
É decível se uma dada máquina de Turing move a cabeça mais de 481 células longe do marcador de extremidade esquerda, na entrada ε?
https://www.generacodice.com/pt/articolo/2444820/e-decivel-se-uma-dada-maquina-de-turing-move-a-cabeca-mais-de-481-celulas-longe-do-marcador-de-extremidade-esquerda-na-entrada-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
Está verificando se o comprimento de um programa C que pode gerar uma string é menor que um determinado número decidível?
https://www.generacodice.com/pt/articolo/2443763/esta-verificando-se-o-comprimento-de-um-programa-c-que-pode-gerar-uma-string-e-menor-que-um-determinado-numero-decidivel
computability
-
halting-problem
-
undecidability
cs.stackexchange
O problema de decidir se dois programas têm a mesma semântica decidível?
https://www.generacodice.com/pt/articolo/2442581/o-problema-de-decidir-se-dois-programas-tem-a-mesma-semantica-decidivel
semantics
-
undecidability
-
decision-problem
cs.stackexchange
TM decidable or undecidable problem
https://www.generacodice.com/pt/articolo/2442421/tm-decidable-or-undecidable-problem
turing-machines
-
undecidability
-
decision-problem
cs.stackexchange
Por que não podemos provar a decidibilidade de $ l= {\ langle m \ rangle: m $ aceita $ \ epsilon \} $ com um gráfico de configurações?
https://www.generacodice.com/pt/articolo/2441982/por-que-nao-podemos-provar-a-decidibilidade-de-l-langle-m-rangle-m-aceita-epsilon-com-um-grafico-de-configuracoes
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is it possible that the subtraction between two undecidable languages is regular?
https://www.generacodice.com/pt/articolo/1810854/is-it-possible-that-the-subtraction-between-two-undecidable-languages-is-regular
turing-machines
-
undecidability
-
regular-languages
-
semi-decidability
cs.stackexchange
«
5
6
7
8
9
10
»
Resultados encontrados: 685