Perguntas com a marcação «computability»

Na minha experiência, linguagens sensíveis ao contexto e autômatos limitados lineares são freqüentemente ignorados ou ignorados nos cursos de teoria da computabilidade e são deixados de fora de alguns livros de texto notáveis, embora os autômatos finitos e pushdown recebam muita atenção. Certamente deve haver uma boa razão para que …

9 computability  fl.formal-languages  automata-theory 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Theoretical Computer Science Stack Exchange. Fechado há 3 anos . Existe uma construção explícita curta de uma função recursiva universal ? Todas …

9 lo.logic  computability  pl.programming-languages 

Segue-se do teorema de Rice que você não pode determinar se duas máquinas de Turing decidem ou não o mesmo idioma. Minha pergunta é: Isso também se aplica a configurações descritivas de complexidade, principalmente quando se trata de testar um par de consultas SO-Horn para ver se elas descrevem o …

9 computability  descriptive-complexity 

Em Computabilidade, se quisermos provar que um problema não é recursivo ou não recursivamente enumerável, podemos usar, por exemplo, reduções de outros problemas não recursivos ou não re, o teorema de Rice, o teorema de Rice-Shapiro, etc. Essas técnicas funcionam graças a , ou se baseiam diretamente na existência de …

8 cc.complexity-theory  computability 

Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples. …

8 reference-request  lo.logic  computability  philosophy 

Existe uma generalização do jogo GO que se sabe que Turing está completo? Se não, você tem algumas sugestões sobre regras razoáveis ​​(generalização) que podem ser usadas para tentar provar que Turing está completo? O óbvio é que o jogo deve ser jogado em um tabuleiro infinito (quadrante positivo). Mas …

8 computability  turing-machines 

A linguagem dos whileprogramas pode expressar as funções enumeráveis ​​computacionalmente. (Isso é verdade mesmo que as únicas operações aritméticas nas variáveis ​​sejam, por exemplo, incremento e decrementação.) Se whilefor substituído por for, tornando os loops sempre limitados, o idioma poderá expressar apenas as funções recursivas primitivas. Recentemente, tomei conhecimento da …

8 cc.complexity-theory  computability  pl.programming-languages 

Muitos resultados em criptografia dependem de resultados / conjecturas de impossibilidade na teoria da complexidade. Por exemplo, acredita-se que a criptografia de chave pública usando RSA é possível devido à conjectura sobre a inviabilidade do fatoramento (e os problemas de localização modular da raiz). Minha pergunta é : temos resultados …

8 cc.complexity-theory  cr.crypto-security  computability 

Estou tentando desenvolver algumas noções de cálculo de diferença entre uma Máquina Ideal de Turing ideal concebida por um desenvolvedor (por exemplo, o que se pretende que um desenvolvedor de software), chame de , e as Máquinas que representam o software que realmente é projetado e implementado, digamos M α …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas? obrigado

8 reference-request  computability 

Um Quine é um programa de computador que produz uma cópia do seu próprio código-fonte como sua única saída. Existe algum programa Quine que pode se imprimir n vezes, com n especificado de alguma forma no programa?

8 computability  recreational 

No artigo Relativizações do P =? NP Question , Baker et al. mostrou que existem mundos relativizados nos quais P = NP ou P ≠ NP se mantém. Todos os oráculos em suas configurações eram conjuntos recursivos. Noutra papel em relação a uma aleatória a Oracle , P Um ≠ …

8 cc.complexity-theory  computability  oracles  relativization