Perguntas com a marcação «halting-problem»

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 

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 

Alan Turing propôs um modelo para uma máquina (a Máquina de Turing, TM) que calcula (números, funções, etc.) e provou o Teorema da Halting . Uma TM é um conceito abstrato de uma máquina (ou mecanismo, se você preferir). O Teorema da Parada é um resultado impossível. Um Motor de …

31 turing-machines  halting-problem  entropy 

Entendo a prova da indecidibilidade do problema da parada (dada, por exemplo, no livro de Papadimitriou), com base na diagonalização. Embora a prova seja convincente (eu entendo cada etapa dela), não é intuitivo para mim no sentido de que não vejo como alguém a derivaria, partindo apenas do problema. No …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

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 

É bastante simples entender por que o problema da parada é indecidível para programas impuros (ou seja, aqueles que têm E / S e / ou estados dependentes do estado global da máquina); mas intuitivamente, parece que a interrupção de um programa puro em um computador ideal seria decidida por, …

25 halting-problem  static-analysis 

Eu estava assistindo as " Cinco etapas da aceitação da matemática construtiva ", de Andrej Bauer, e ele diz que existem dois tipos de provas por contradição (ou duas coisas que os matemáticos chamam de prova por contradição): Suponha que seja falso ... blá blá blá, contradição. Portanto, é verdadeiro.PPPPPP …

23 halting-problem  coq 

Como buracos negros na ciência da computação. Só podemos saber que eles existem, mas quando temos um deles, nunca saberemos que é um deles.

23 halting-problem  correctness-proof 

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 

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 

Pelo meu entendimento da prova de que o problema de parada não é computável, esse problema não é computável porque, se tivermos um programa P (x) que calcula se o programa x pára ou não, temos um paradoxo ao fornecer P como entrada para o mesmo P, tendo: P (P), …

19 halting-problem 

Seria possível para um ambiente de tempo de execução detectar loops infinitos e subsequentemente interromper o processo associado, ou implementar essa lógica seria equivalente a resolver o problema de parada? Para os fins desta pergunta, defino um "loop infinito" para significar uma série de instruções e dados de pilha / …

19 halting-problem