O feto, se você nunca ouviu falar, pode ser lido aqui . Ele usa um sistema de 'matrizes de chamada' e 'gráficos de chamada' para encontrar todos os 'comportamentos de recursão' de chamadas recursivas em uma função. Para mostrar que uma função termina, mostra que todos os comportamentos de recursão...
Estou procurando uma prova de que a complexidade de Kolmogorov é incontestável usando uma redução de outro problema incontestável. A prova comum é uma formalização do paradoxo de Berry, e não uma redução, mas deve haver uma prova reduzindo algo como o Problema da Parada ou o Problema da...
As funções recursivas primitivas são definidas sobre os números naturais. No entanto, parece que o conceito deve generalizar para outros tipos de dados, permitindo falar sobre funções recursivas primitivas que mapeiam listas para árvores binárias, por exemplo. Por analogia, funções recursivas...
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 ≠ N P A ≠ co- N P A com...
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
Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas?
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,...
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...
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á...
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...
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....
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...