Perguntas com a marcação «computability»

Dado um idioma , defina o conjunto de comprimentos de como o conjunto de comprimentos de palavras em : LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quais conjuntos de números inteiros podem ser o comprimento de um idioma comum?

15 formal-languages  computability  regular-languages  finite-automata 

Linguagens como são sob muitas one-redução. É trivial ver que tem problemas completos. S. Schmitz [1] considera algumas classes entre e . Eles apresentam problemas completos para essas classes sob reduções especificamente criadas.HALTTMHALTTM\text{HALT}_{TM} co-RERE-completoRE-complete\textsf{RE-complete}testemunhoco-RE\text{co-RE}ELEMELEM\text{ELEM}GRAVANDOREC\text{REC} Existem problemas completos para (aka ) em relação a reduções mais fracas? Reduções de Turing são …

14 computability  reductions  turing-completeness  recursion-theory 

Quero saber se o seguinte problema é decidível: Instância: um NFA A com n estados Pergunta: Existe algum número primo p tal que A aceite alguma sequência de comprimento p. Minha crença é que esse problema é indecidível, mas não posso provar. O decisor pode facilmente ter um algoritmo para …

14 computability  finite-automata 

Se fato é igual a N P , como isso aprimora nossos algoritmos para fatorar números inteiros mais rapidamente. Em outras palavras, que tipo de insight esse fato nos daria para entender melhor a fatoração inteira?PP{\sf P}N PNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Pergunto-me como é que que a seguinte linguagem é em .RR\mathrm R euM1= { ⟨ M2⟩∣∣M2 é uma MT e L ( M1) = L ( M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle …

14 computability  undecidability 

Eu tenho essas perguntas de um exame antigo que estou tentando resolver. Para cada um dos problemas, a entrada é uma codificação de uma máquina de Turing .MMM Para um número inteiro e os três problemas a seguir:c > 1c>1c>1 É verdade que, para cada entrada , M não passa …

14 computability  turing-machines  undecidability 

Eu estava procurando por problemas abertos interessantes e fáceis de declarar em computabilidade (compreensível por estudantes de graduação que fazem seu primeiro curso em computabilidade) para dar exemplos de problemas abertos (e obviamente eu quero que os alunos possam entender o problema sem precisar de muito novo definições e também …

14 computability 

Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não semidecidáveis? Pensei na …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Eu estou querendo saber se decidir a decidibilidade do problema é um problema decidível. Acho que não, mas após as pesquisas iniciais não consigo encontrar nenhuma literatura sobre esse problema.

13 computability  undecidability  decision-problem 

Apropois à sugestão de Raphael sobre a interseção de dois NPDAs : Deixe e A 2 NPDA para linguagens sem contexto L 1 e L 2 , respectivamente. Supondo que sabemos que L = L 1 ∩ L 2 é livre de contexto, podemos (efetivamente) construir o NPDA A para …

13 computability  automata  pushdown-automata 

A função de turnos máximos do castor ocupado, , possui valores conhecidos para n ≤ 4 . Existe alguma razão estrutural básica por que é inconcebível encontrarmos S ( n ) para n > 4 ? O que há de tão diferente em n = 4 que n = 5 …

13 computability  busy-beaver 

Sou um pouco novo, mas muito interessado no campo da teoria da computação e da complexidade, e quero esclarecer meu entendimento sobre como classificar problemas e quão fortemente os problemas estão relacionados à máquina que está sendo usada para resolvê-los. Meu entendimento Máquina de Turing padrão - uma máquina de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Eu li sobre números de castores ocupados e como eles crescem assintoticamente maiores do que qualquer função computável. Porque isto é assim? É por causa da não computabilidade da função de castor ocupado? Em caso afirmativo, todas as funções não computáveis ​​crescem assintoticamente maiores que as computáveis? Editar: Ótimas respostas …

13 computability  asymptotics 

O Problema Pós Correspondência (PCP) é indecidível. A versão limitada do PCP é -completa e a versão marcada do PCP (as palavras de uma das duas listas devem diferir na primeira letra) está em [1].N PNP\mathrm{NP}P S P A C EPSPUMACE\mathrm{PSPACE} Essas versões restritas são usadas para provar alguns resultados …

13 complexity-theory  computability  reference-request 

Se temos algum programa de computador arbitrário que pode modificar suas instruções, é possível simular esse programa com um programa que não pode modificar suas instruções? Editar: Eu sou novo no stackexchange, então não tenho certeza se posso fazer uma nova pergunta aqui, mas aqui vai: Ok, então a prova …

12 computability  computation-models  turing-completeness  church-turing-thesis