Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da
Quando li sobre a tese de Church-Turing, parece ser uma afirmação comum que "a realidade física é computável em Turing". Qual é a base para esta reivindicação? Existem resultados teóricos nesse sentido? Por um contexto, sou um pesquisador que trabalha em simulações físicas, portanto, é claro que...
Considere os termos criados a partir dos elementos de e as operações +, \ times, -, / , e \ sqrt [n] {\, \ cdot \,} para cada número natural n . Dada a promessa de que dois termos são bem-formados - isto é, não há divisão por zero e nem raízes de números negativos - existe um algoritmo que decide...
A teoria do domínio fornece uma incrível teoria da computabilidade na presença de tipos simples. Mas quando o polimorfismo paramétrico é adicionado, não parece haver uma teoria legal que explique o que está acontecendo tão bem quanto a teoria de domínio explica a computação por tipos simples....
Pelo meu entendimento, Turing complete significa que o programa ou a máquina pode concluir qualquer cálculo que uma máquina de Turing possa concluir, o que para mim significa qualquer cálculo. Então, como algo como HTML ou PowerPoint pode ser Turing
Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo...
A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de A a B que...
Tenho uma pergunta geral sobre o mapeamento de reduções. Eu já vi vários exemplos de redução de funções paraATMATMA_{TM} onde ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } M...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Se limitarmos uma máquina de turing para que não seja permitido escrever o símbolo que ela lê, reduziria sua potência? Por exemplo: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA não pode ser o mesmo símbolo que ZZZ.
A função padrão de movimento ocupado chama a atenção para a contagem final de símbolos diferentes de zero na fita. Em vez disso, poderíamos observar a maior quantidade de símbolos diferentes de zero que aparecem na fita em qualquer ponto do cálculo. O limite inferior dessa função seria e o limite...
Ao escrever uma decisão para uma máquina para ver se ela fez um movimento para a esquerda ou não em uma entrada de w , diz-se que, se continuarmos o cálculo para| w | +N+ 1|W|+N+1 1|w|+N+1 (NNN : número de estados) número de etapas, podemos tomar uma decisão para essa decisão. Não entendi porque...
Dada uma máquina de Turing , dizemos que se a linguagem decidida pela máquina puder ser decidida por alguma máquina em tempo polinomial. Dizemos que se a máquina funcionar em tempo polinomial. Note-se que pode haver máquinas que rodam desnecessariamente longo, mas ainda decidir um idioma em P ....
Wikipedia : O teorema do programa estruturado [...] afirma que qualquer [...] algoritmo pode ser expresso usando apenas três estruturas de controle. Eles são Executando um subprograma e depois outro subprograma (sequência) Executando um dos dois subprogramas de acordo com o valor de uma...
Eu estava estudando a prova de que a função de Ackermann era recursiva, mas não primitiva, e uma pergunta me ocorreu: "E daí?". Por que isso Importa? Qual é o significado das funções recursivas
Portanto, sabe-se que o PCP é indecidível, mesmo quando fixamos o número de blocos para n ≥ 7n≥7n \geq 7. Gostaria de saber, algo semelhante pode ser dito quando existe um tamanho fixo de palavra? Para ser mais preciso, aqui está o problema: Dado fixo mmm e nnncom n ≥ 7n≥7n \geq 7e palavras...
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...
Encontrei uma declaração (sem explicação) de que um idioma A =0 0∗UMA=0 0∗A = 0^*é decidível. Como isso é possível? Quero dizer, como construiríamos uma máquina de Turing que aceitaria (ou rejeitaria) uma sequência possivelmente infinita de zeros? Eu também pensei que talvez pudéssemos criar um...
Dadas duas funções recursivas primitivas, é decidível se elas são ou não a mesma função? Por exemplo, vamos considerar os algoritmos de classificação A e B, que são recursivos primitivos. Embora existam muitos algoritmos para classificação, todos descrevem a mesma relação. Dadas duas implementações...
Assim, UMA⩽mBUMA⩽mB A\leqslant_mB (muitos a uma redução) meios que língua pode ser reduzida a língua se existe uma função Turing-calculável assim e .UMAUMAABBBffff( A ) ⊆ Bf(UMA)⊆B f(A) \subseteq Bf(UMA¯¯¯¯) ⊆B¯¯¯¯f(UMA¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} UMA⩽TBUMA⩽TB A\leqslant_TB...