Perguntas com a marcação «undecidability»

Quero saber se o seguinte problema é decidível e como descobrir. Todos os problemas que vejo podem dizer "sim" ou "não" a ele; portanto, a maioria dos problemas e algoritmos é decidível, exceto alguns (que são fornecidos aqui )? Entrada: Um gráfico direcionado e finito , com v e u …

17 algorithms  computability  graph-theory  undecidability 

O problema de dois autômatos de pushdown reconhecerem o mesmo idioma é indecidível. O problema de decidir se um autômato de empilhamento reconhece o idioma vazio é decidível; portanto, também é decidível se ele reconhece um determinado idioma finito. É indecidível se o idioma aceito por um autômato de empilhamento …

16 computability  undecidability  pushdown-automata 

Não existe uma solução analítica geral para o problema do corpo n que possa produzir uma função analítica que possa ser usada para fornecer o estado de um sistema n corpo no tempo arbitrário t com precisão exata. No entanto, existem alguns casos especiais de sistemas com n corpos, pelos …

16 computability  turing-machines  undecidability  computation-models 

Existem propriedades indecidíveis de autômatos limitados lineares (evitando o truque de linguagem de conjunto vazio)? Que tal um autômato finito determinístico? (deixe de lado a intratabilidade). Gostaria de obter um exemplo (se possível) de um problema indecidível definido sem o uso explícito de máquinas de Turing . A integridade de …

15 computability  automata  undecidability 

Sabe-se que o idioma das palavras que contêm número igual de 0 e 1 não é regular, enquanto o idioma das palavras que contêm número igual de 001 e 100 é regular ( veja aqui ). Dadas duas palavras w1,w2w1,w2w_1,w_2 , é decidível se o idioma das palavras que contêm …

14 regular-languages  undecidability 

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 

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 

Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Eu estava analisando a definição de linguagem sensível ao contexto da Wikipedia e achei o seguinte: Cada categoria de idiomas é um subconjunto adequado da categoria diretamente acima dele. Qualquer autômato e qualquer gramática em cada categoria tem um autômato ou gramática equivalente na categoria diretamente acima. Pude ver que …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Existem idiomas indecidíveis, de modo que seu idioma de união / interseção / concatenado seja decidível? Qual é a interpretação física desse exemplo porque, em geral, idiomas indecidíveis não são fechados nessas operações? O que podemos dizer sobre o fechamento de Kleene? Também temos exemplos para isso? Ou seja, o …

12 formal-languages  undecidability  closure-properties 

A existência de problemas indecidíveis implica imediatamente a imprevisibilidade dos sistemas físicos? Vamos considerar o problema da parada, primeiro construímos um UTM físico, digamos usando a construção habitual baseada em circuito. Então não pode haver uma teoria física decidível que possa determinar, dada qualquer configuração de entrada dos circuitos, se …

11 computability  turing-machines  undecidability  physics 

Sinto muito se esta pergunta tem alguma resposta trivial que estou perdendo. Sempre que estudo algum problema que foi provado indecidível, observo que a prova depende de uma redução para outro problema que foi provado indecidível. Entendo que ele cria algum tipo de ordem sobre o grau de dificuldade de …

11 computability  reductions  undecidability 

Eu estava lendo uma resposta para uma pergunta recente, e uma espécie de pensamento estranho e efêmero veio à minha mente. Pedir isso pode revelar que minhas faltas teóricas estão seriamente ausentes (principalmente verdadeiras) ou que ainda é muito cedo para ler este site. Agora, com o aviso fora do …

11 turing-machines  undecidability  halting-problem