Perguntas com a marcação «computability»

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 …

149 computability  halting-problem 

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 é …

130 computability  undecidability 

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 …

76 computability  logic  halting-problem  incompleteness 

Sabemos que o problema da parada (nas máquinas de Turing) é indecidível para as máquinas de Turing. Existe alguma pesquisa sobre até que ponto a mente humana pode lidar com esse problema, possivelmente auxiliada por máquinas de Turing ou computadores de uso geral? Nota : Obviamente, no sentido mais estrito, …

60 computability  turing-machines  halting-problem  human-computing 

Existe um conjunto de construções de linguagem de programação em uma linguagem de programação para que seja considerada Turing Complete? Pelo que sei da wikipedia , o idioma precisa suportar a recursão ou, aparentemente, deve ser capaz de executar sem parar. Isso é tudo o que existe?

55 computability  programming-languages  turing-machines  turing-completeness 

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 …

45 computability 

Eu sei que existe uma máquina de Turing, se uma função é computável. Então, como mostrar que a função não é computável ou não existe uma Máquina de Turing para isso. Existe algo como um lema de bombeamento?

43 computability  proof-techniques  undecidability  reference-question 

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 …

42 computability  programming-languages  turing-completeness 

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 …

42 computability  recursion  iteration 

Em esta resposta é mencionado Uma linguagem regular pode ser reconhecida por um autômato finito. Uma linguagem livre de contexto requer uma pilha e uma linguagem sensível ao contexto requer duas pilhas (o que equivale a dizer que requer uma máquina de Turing completa) . Eu queria saber sobre a …

41 computability  turing-machines  automata  pushdown-automata 

Na teoria da computabilidade e da complexidade (e talvez em outros campos), as reduções são onipresentes. Existem muitos tipos, mas o princípio permanece o mesmo: mostre que um problema é pelo menos tão difícil quanto outro problema mapeando instâncias de para instâncias a solução em . Essencialmente, mostramos que qualquer …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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 …

40 computability  turing-completeness  c 

Existem máquinas teóricas que excedem a capacidade das máquinas de Turing em pelo menos algumas áreas?

39 computability  turing-machines  hypercomputation 

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 …

37 terminology  computability  undecidability  rice-theorem 

Eu sei que Idris tem tipos dependentes, mas não está completo. O que isso não pode fazer ao abrir mão da integridade de Turing, e isso está relacionado a ter tipos dependentes? Acho que essa é uma pergunta bastante específica, mas não sei muito sobre tipos dependentes e sistemas de …

35 computability  programming-languages  type-theory  dependent-types