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

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 palavras, …

8 computability  halting-problem 

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 inteligência no futuro para resolver esse problema …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Quando ouvi essas coisas pela primeira vez, fiquei muito fascinado, pois pensava que isso realmente limita a matemática e as ciências em geral. Mas quão praticamente relevantes são essas coisas? Para o problema da parada: Existem mais do que alguns casos construídos artificialmente, em que não se pode decidir se …

8 computability  logic  halting-problem  applied-theory 

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 decisão para o …

7 computability  turing-machines  reductions  halting-problem 

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

7 computability  turing-machines  halting-problem  semi-decidability 

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 …

7 undecidability  decision-problem  halting-problem 

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 …

7 computability  halting-problem