Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse
OK, então aqui está uma pergunta de um teste passado na minha aula de Teoria da Computação: Um estado inútil em uma TM é aquele que nunca é inserido em nenhuma sequência de entrada. Deixe Prove que \ mathrm {USELESS} _ {\ mathrm {TM}} é indecidível.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a...
Na análise de algoritmos, assumimos uma máquina de acesso aleatório (RAM) de um processador genérico. Até onde eu sei, a máquina de RAM não é mais eficiente que a máquina de Turing. Todos os algoritmos podem ser implementados na máquina de Turing. Então, minhas perguntas são: Se a máquina de...
Eu tenho o seguinte problema algorítmico: Determinar o espaço Turing complexidade de reconhecer seqüências de DNA que são palíndromos Watson-Crick. Os palíndromos de Watson-Crick são cadeias cujo complemento invertido é a cadeia original. O complemento é definido em letras, inspirado no DNA:...
O problema de decidir se uma entrada é um palíndromo ou não tenha sido provado para exigir de espaço em uma máquina de Turing. No entanto, mesmo armazenar a entrada ocupa espaço n, então isso não significa que todas as máquinas de Turing requerem espaço Ω ( n ) ?Ω ( logn )Ω(registron)\Omega(\log...
Estou tentando encontrar as respostas de duas perguntas sobre a máquina Universal Turing. Como a máquina Universal de Turing pode simular uma máquina de Turing se a que está sendo simulada possui um número maior de estados? Como a máquina Universal Turing pode simular uma máquina de Turing se a...
Eu tenho a prova de ir de um enumerador para uma Máquina de Turing (continue executando o enumerador e veja se ele corresponde à entrada), mas não vejo como a outra maneira funciona. De acordo com minhas anotações e o livro (Introdução à Teoria da Computação - Sipser), para obter o enumerador de...
Máquinas de Turing e gramáticas irrestritas são dois formalismos diferentes que definem as linguagens de ER. Algumas linguagens de ER são decidíveis, mas nem todas são. Podemos definir as linguagens decidíveis com as máquinas de Turing dizendo que uma linguagem é decidível se houver uma TM para a...
A questão é o exercício 1.9 do livro de Arora-Barak, Computational Complexity - A Modern Approach : Defina uma máquina de RAM Turing para ser uma máquina de Turing com memória de acesso aleatório. Formalizamos da seguinte maneira: A máquina possui uma matriz infinita A que é inicializada em...
Vi sites que pretendem "provar" que o HTML5 + CSS é Turing Complete. Eu já vi sites que pretendem "provar" que o SQL é Turing Complete. Eu já vi vários sites que pretendem "explicar" o que significa ser Turing Complete. O suficiente! Onde posso encontrar um livro (escrito por um especialista em...
Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for
Uma declaração do teorema de Rice é apresentada na página 35 de "Complexidade computacional: uma abordagem moderna" (Arora-Barak): Uma função parcial a partir de { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* a { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* é uma função que não está necessariamente definido em todas as suas...
Parece que me lembro de uma turma de graduação que, para uma Máquina de Turing com fita finita, sempre existirá um Autômato de Estado Finito correspondente, mas não consegui encontrar isso confirmado em nenhum lugar da Internet. Este é realmente o caso ou estou me lembrando...
Em uma pergunta anterior O que exatamente é um algoritmo? , Perguntei se ter um "algoritmo" que retorna o valor de uma função com base em uma matriz de valores pré-computados era um algoritmo. Uma das respostas que chamou minha atenção foi esta: O exemplo fatorial entra em um modelo diferente...
Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode ser dito dos portões X O R.( ∨ ,...
Para provar que a 3 cores é decidível, basta dizer: Cada nó no gráfico possui 3 cores possíveis Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor3n3n3^n Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina de...
Na faculdade, aprendemos mais sobre a teoria da computação em geral e sobre as máquinas de Turing. Um dos grandes resultados teóricos é que, ao custo de um alfabeto potencialmente grande (símbolos), você pode reduzir o número de estados para apenas 2. Eu estava procurando exemplos de diferentes...
Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para...
Lendo esta pergunta " Problemas indecidíveis de ER naturais, mas não completos de Turing ", veio à minha mente o seguinte idioma: Se for a função de castor ocupado (pontuação máxima atingível entre todas as máquinas de Turing de estado n de dois símbolos com parada do tipo descrito acima, quando...
Por que os números computáveis (no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou