Perguntas com a marcação «computability»

O combinador de ponto fixo FIX (também conhecido como combinador Y) no cálculo lambda (sem tipo) ( ) é definido como:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) ))≜λf.(λx.f …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

O problema de parada afirma que não há algoritmo que determine se um determinado programa é interrompido. Como conseqüência, deve haver programas sobre os quais não podemos dizer se eles terminam ou não. Quais são os exemplos mais simples (menores) conhecidos de tais programas?

27 computability  turing-machines  halting-problem 

Note que, embora eu saiba programar, sou bastante iniciante na teoria do CS. De acordo com esta resposta Turing completude é um conceito abstrato de computabilidade. Se um idioma é Turing completo, ele é capaz de fazer qualquer cálculo que qualquer outro idioma completo de Turing possa fazer. E qualquer …

26 computability  programming-languages  turing-completeness 

Estou tendo problemas para entender a prova da indecidibilidade do problema da parada. Se retorna se o programa interrompido ou não na entrada b , por que precisamos passar o código de P para ambos a e b ?a b P a bH( a , b )H(a,b)H(a,b)umaaabbbPPPumaaabbb Por que não …

25 computability  turing-machines 

Claramente, não há problemas indecidíveis no NP. No entanto, de acordo com a Wikipedia : NP é o conjunto de todos os problemas de decisão para os quais as instâncias em que a resposta é "sim" têm [..] provas que são verificáveis ​​em tempo polinomial por uma máquina determinística de …

25 complexity-theory  computability  undecidability  decision-problem 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Encontrei muitas definições de linguagens recursivas e recursivamente enumeráveis. Mas eu não conseguia entender direito o que são. Alguém pode me dizer o que são em …

24 formal-languages  computability  turing-machines 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Eu só tive essa pergunta interessante. Qual é a função de crescimento mais rápido conhecida pelo homem? É castor ocupado ? Conhecemos funções como , mas …

24 computability 

Na teoria da computabilidade, funções computáveis ​​também são chamadas de funções recursivas. Pelo menos à primeira vista, eles não têm nada em comum com o que você chama de "recursivo" na programação do dia-a-dia (isto é, funções que se denominam). Qual é o significado real de recursivo no contexto da …

23 computability  terminology  history 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . "Alan Turing provou em 1936 que um algoritmo geral para resolver o problema de parada de todos os pares possíveis de entrada de programa não pode …

23 computability  formal-methods  halting-problem  software-verification 

Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O cálculo Lambda é …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Estudei algo sobre a Complexidade Kolmogorov , li alguns artigos e livros de Vitanyi e Li e usei o conceito de Distância de compressão normalizada para verificar a estilometria dos autores (identifique como cada autor escreve alguns textos e agrupa documentos por sua semelhança). Nesse caso, os compressores de dados …

22 computability  approximation  data-compression  kolmogorov-complexity 

Existe alguma linguagem "natural" indecidível? por "natural", quero dizer uma linguagem definida diretamente pelas propriedades das strings, e não através de máquinas e seus equivalentes. Em outras palavras, se o idioma se parecer com que é uma TM, DFA (ou exp regular), PDA (ou gramática) etc., então não é natural. …

22 formal-languages  automata  computability  undecidability 

Uma máquina de Turing que retorne ao estado encontrado anteriormente com sua cabeça de leitura / gravação na mesma célula da mesma fita será presa em um loop. Essa máquina não para. Alguém pode dar um exemplo de uma máquina sem interrupção que não se repete?

22 computability  turing-machines  halting-problem 

Recentemente, ouvi uma analogia interessante que afirma que a prova de Turing da indecidibilidade do problema da parada é muito semelhante ao paradoxo do barbeiro de Russell. Então, fiquei pensando: os matemáticos conseguiram tornar a teoria dos conjuntos consistente ao passar da ingênua formulação de campo de Cantor para um …

21 computability  turing-machines  computation-models  halting-problem 

Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente enumeráveis), não faz diferença para o poder do …

21 formal-languages  computability  context-free  computation-models  context-sensitive