Perguntas com a marcação «undecidability»

No meio do período, houve uma variante da seguinte pergunta: Para um decidível, defina Mostre que não é necessariamente decidível.Pref ( L ) = { x | ∃ y r x y ∈ G } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ …

9 computability  undecidability 

Estou tentando criar uma prova para o seguinte: Para qualquer idioma , existe uma linguagem B tal que A ≤ T B , mas B ≰ T A .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Eu estava pensando em deixar ser um T M , mas eu percebo que nem todos os idiomas …

9 computability  reductions  undecidability 

Considere os termos criados a partir dos elementos de e as operações +, \ times, -, / , e \ sqrt [n] {\, \ cdot \,} para cada número natural n . Dada a promessa de que dois termos são bem-formados - isto é, não há divisão por zero e …

8 computability  undecidability  number-theory  equality 

Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da parada.

8 computability  reference-request  undecidability 

Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", ​​mas ainda não encontrei uma solução. Alguém pode me ajudar?

8 computability  turing-machines  undecidability 

Como estudei, decidir a regularidade das linguagens sem contexto é indecidível. No entanto, podemos testar a regularidade usando o teorema de Myhill-Nerode, que fornece uma condição necessária e suficiente. Portanto, o problema deve ser decidido. Onde está meu erro?

8 formal-languages  computability  regular-languages  undecidability 

Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica de autômatos …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Se você tem um idioma L, sem fazer nenhuma prova, há uma maneira de saber se é reconhecível ou co-reconhecível ou decidível? Basicamente, todas as dicas ou truques que podem ser usados ​​para contar. Ou talvez os padrões comuns a serem pesquisados ​​para saber qual é o tipo?

8 computability  undecidability  intuition 

Dado n∈Nn∈Nn \in \mathbb{N} e p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] pode-se definir a seguinte fórmula na linguagem da aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Eu gostaria de mostrar que existem infinitos triplos (n,p,q)(n,p,q)(n,p,q) de modo que nem φ(n,p,q)φ(n,p,q)\varphi(n,p,q) nem ¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) é um teorema …

8 computability  logic  undecidability 

Como mostro que o problema de decidir se um PDA aceita alguma sequência do formato é indecidível?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Tentei reduzir esse problema a outro indecidível, como se duas gramáticas livres de contexto aceitam o mesmo idioma. No entanto, não tenho certeza de como …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Estou tentando me ensinar a teoria da computabilidade com um livro didático. De acordo com o meu livro, uma funçãofff sobre um alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n …

8 formal-languages  computability  undecidability 

Gostaria da sua ajuda para provar que o idioma é decidível se .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Se , entendi que é a linguagem das máquinas de Turing vazias. Então é um problema - mas não é isso que está sendo perguntado, então fiquei confuso.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Eu …

8 computability  undecidability  p-vs-np 

Toda vez que acho que entendo o que o teorema de Rice significa, encontro um contra-exemplo para me confundir. Talvez alguém possa me dizer onde estou pensando errado. Vamos usar uma propriedade não trivial do conjunto de funções computáveis, por exemplo, deixe . Obviamente, é infinito contável e há também …

8 computability  undecidability 

Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser. Mostrei que co- é Turing-reconhecível (eu acho): você …

8 computability  turing-machines  undecidability  decision-problem 

Como diz o título: Existem casos de problemas que sabemos ser insolúveis? Ou equivalente Existem problemas promissores com um número finito de entradas possíveis que são indecidíveis? Observe: percebo que muitos problemas computacionais são conhecidos por serem insolúveis, mas, pelo que sei (pode ser limitado), todos precisam receber um número …

7 undecidability