Perguntas com a marcação «computability»

Questões relacionadas à teoria da computabilidade, também conhecida como teoria da recursão

12
Por que, realmente, o problema da parada é tão importante?
Não entendo por que o problema da parada é tão frequentemente usado para descartar a possibilidade de determinar se um programa é interrompido. O Wikipedia [artigo] [1] explica corretamente que uma máquina determinística com memória finita interromperá ou repetirá um estado anterior. Você pode usar o algoritmo que detecta se …

3
Como é possível decidir se
Foi-nos dado o seguinte exercício. Deixei f( n ) = { 10 00 0n ocorre na representação decimal de πoutrof(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Prove que é …

5
Existe alguma relação concreta entre o teorema da incompletude de Gödel, o problema da parada e as máquinas de Turing universais?
Sempre pensei vagamente que a resposta à pergunta acima era afirmativa nas seguintes linhas. O teorema da incompletude de Gödel e a indecidibilidade do problema de parada são resultados negativos sobre a decidibilidade e estabelecidos por argumentos diagonais (e na década de 1930); portanto, eles devem, de alguma forma, ser …



3
Por que os humanos podem resolver certos problemas "indecidíveis"?
A correspondência de padrões de alta ordem é um problema indecidível. Isso significa que não há algoritmo que, dada uma equação a => b, onde ae bsão termos abertos no cálculo lambda simplesmente digitado, encontre uma substituição Stal que aS => bS, onde =>significa "tenha a mesma forma normal de …


9
Por que algumas linguagens de programação Turing estão completas, mas faltam algumas habilidades de outras linguagens?
Me deparei com um problema estranho ao escrever um intérprete que (deveria) ser vinculado a programas / funções externas: As funções em 'C' e 'C ++' não podem vincular funções variadas , por exemplo, eu não posso criar uma função que chame 'printf' com exatamente os mesmos argumentos que obteve …

5
A iteração pode substituir a recursão?
Tenho visto em todo estouro de pilha, por exemplo, aqui , aqui , aqui , aqui , aqui e alguns outros eu não me importo de mencionar, que "qualquer programa que usa recursão pode ser convertido em um programa usando apenas iteração". Havia até mesmo um altamente upvoted fio com …



9
C é realmente Turing completo?
Eu estava tentando explicar a alguém que C é Turing completo e percebi que na verdade não sei se é tecnicamente Turing completo. (C como na semântica abstrata, não como em uma implementação real.) A resposta "óbvia" (grosso modo: ela pode endereçar uma quantidade arbitrária de memória, para emular uma …


2
Perplexo com o teorema de Rice
Resumo: De acordo com o teorema de Rice, tudo é impossível. E, no entanto, faço essas coisas supostamente impossíveis o tempo todo! Obviamente, o teorema de Rice não diz simplesmente "tudo é impossível". Diz algo bastante mais específico: "Todas as propriedades de um programa de computador não são computáveis". (Se …


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.