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 7 - GeneraCodice
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
Por que o teorema da recursão não prova que existe um conjunto finito indecidível?
https://www.generacodice.com/pt/articolo/2453658/por-que-o-teorema-da-recursao-nao-prova-que-existe-um-conjunto-finito-indecidivel
turing-machines
-
computability
-
undecidability
cs.stackexchange
Este é correto: se uma gramática tipo 3 gera ou não $ \ sigma ^ * $ não é c.e
https://www.generacodice.com/pt/articolo/2453394/este-e-correto-se-uma-gramatica-tipo-3-gera-ou-nao-sigma-nao-e-c-e
formal-languages
-
undecidability
-
regular-languages
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/pt/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
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
«
4
5
6
7
8
9
»
Resultados encontrados: 685