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...
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...
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 = p_2 Então...
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
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...
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?...
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...
Pela tese de Church-Turing, é impossível projetar um algoritmo para decidir o problema da parada. A palavra algoritmo, neste contexto, inclui inteligência artificial ou não, isto é, a tese de Church-Turing também se aplica à inteligência artificial? É possível projetar um sistema de...
Que eu saiba, interromper o problema pergunta se existe um programa que decide se um programa está sendo testado, dados alguns dados de entrada (não importa qual programa seja ou quais dados de entrada que fornecemos) serão encerrados ou não. A resposta para esse problema é 'não'. Em outras...
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,...
Considere o problema de pegar uma máquina de Turing de entrada e determinar se a célula final é uma 0 000ou após o término da computação. Nos casos em que ele escreve algo mais ou não pára, você pode dar qualquer resposta (mas você precisa parar e dar alguma resposta em todas as entradas).1...
É o que se sabe sobre o problema da parada e a semi-decidibilidade: O problema de parada diz que, para uma dada entrada xe uma máquina H, não podemos dizer se a máquina H pára ou não na entrada x. Diz-se que um idioma é semi-decidível se existir uma máquina de Turing que pare se uma palavra...
Estou me sentindo um pouco confuso com a direção das reduções usadas para mostrar que certos idiomas não são recursivos. Por exemplo, digamos que queremos determinar se o problema de parada (HA LTTMHALTTMHALT_{TM}) é indecidível. Eu sei que podemos assumir que é decidível e tentar construir uma...
Estou tendo dificuldade para ver a solução de Turing para o problema da parada como um lógico, e não como um engenheiro. Aqui está o meu entendimento do problema da parada: Seja o conjunto de todas as máquinas de Turing. MMM Deixe ser o conjunto de todas as entradas para todas as máquinas...