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

A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim). Naturalmente, …

17 computability  reference-request  turing-machines  halting-problem 

Existem espaços-tempo relativísticos (por exemplo, espaços-tempo MH; ver Hogarth 1994) em que uma linha do mundo de duração infinita pode estar contida no passado de um observador finito. Isso significa que um observador normal pode ter acesso a um número infinito de etapas de computação. Supondo que seja possível que …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Eu tenho o problema: Mostre que existe um número real para o qual não existe um programa que seja infinitamente longo e grave os dígitos decimais desse número. Suponho que isso possa ser resolvido reduzindo-o ao problema da parada, mas não tenho idéia de como fazê-lo. Também gostaria de receber …

14 algorithms  reductions  halting-problem 

Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Tenho problemas para entender o problema de parada de Turing. Sua prova supõe que exista uma máquina mágica que possa determinar se um computador interromperá ou repetirá para sempre uma determinada entrada. Em seguida, anexamos outra máquina que inverte a saída e temos uma contradição e, portanto, não pode existir.HHHHHHH …

12 computability  halting-problem 

Eu estava lendo uma resposta para uma pergunta recente, e uma espécie de pensamento estranho e efêmero veio à minha mente. Pedir isso pode revelar que minhas faltas teóricas estão seriamente ausentes (principalmente verdadeiras) ou que ainda é muito cedo para ler este site. Agora, com o aviso fora do …

11 turing-machines  undecidability  halting-problem 

Entendo que a maioria dos problemas é trivial se um oráculo de parada estiver disponível (ou, penso, de forma equivalente, hiper-computação). No entanto, aplicar o argumento que mostra o Problema de Halting é impossível para uma máquina de Turing também mostra que é impossível para um oráculo de Turing + …

11 computability  undecidability  halting-problem  oracle-machines 

Eu tenho tentado descobrir se o problema de parada é decidível para autômatos celulares unidimensionais de três símbolos. Definição Deixe denotar a configuração do sistema no momento da etapa . Mais formalmente , onde é o alfabeto.i f : A ∗ × N → A ∗ Af( w , i …

10 computability  decision-problem  halting-problem  cellular-automata 

No problema de parada, estamos interessados ​​se existe uma máquina de Turing que pode dizer se uma determinada máquina de Turing pára ou não em uma determinada entrada . Geralmente, a prova começa assumindo que existe umEm seguida, consideramos um caso em que restringimos ao próprio e derivamos uma contradição …

10 computability  undecidability  halting-problem 

Na Meta Matemática de Chaitin ! The Quest For Omega , ele fala brevemente sobre o 10º Problema de Hilbert. Ele então diz que qualquer equação diofantina pode ser alterada em dois polinômios iguais com coeficientes inteiros positivos: .p = 0p = 0p=0p=0p = 0⟺p1 1= p2p=0⟺p1=p2p=0 \iff p_1 = …

10 logic  halting-problem 

Neste site, existem muitas variantes sobre a questão de saber se as TMs podem decidir o problema da parada, seja para todas as outras TMs ou para certos subconjuntos. Esta questão é um pouco diferente. Ele pergunta se o fato de o problema de parada se aplicar a todas as …

9 computability  turing-machines  undecidability  halting-problem 

Ocorreu-me uma pergunta sobre o problema da interrupção e não consegui encontrar uma boa resposta on-line, imaginando se alguém poderia ajudar. É possível que o problema da parada seja decidível para qualquer TM em qualquer entrada, desde que a entrada não seja a própria TM? Basicamente: Halts(TM, I) IF TM …

9 computability  undecidability  halting-problem 

Segundo esta fonte, a constante Chaitin é normal.ΩΩ\Omega Cada probabilidade de parada é um número real normal e transcendental que não é computável, o que significa que não há algoritmo para calcular seus dígitos. De fato, cada probabilidade de parada é aleatória de Martin-Löf, o que significa que não existe …

9 halting-problem 

Estou tentando encontrar uma maneira de explicar a idéia da prova do problema da parada da maneira mais acessível possível (para alunos de graduação em ciências da computação). O argumento mais simples que encontrei é esse ; esse é precisamente o estilo de tratamento que estou buscando. No entanto, a …

8 halting-problem