Perguntas sobre as máquinas de Turing, um modelo teórico de computação mecânica capaz de simular qualquer programa de computador.
Eu sou um graduado em CS. Entendo como Turing criou sua máquina abstrata (modelar uma pessoa fazendo um cálculo), mas me parece uma abstração desajeitada e deselegante. Por que consideramos uma "fita" e um cabeçote de máquina escrevendo símbolos, mudando de estado, mudando a fita para frente e para...
Sabemos que o problema da parada (nas máquinas de Turing) é indecidível para as máquinas de Turing. Existe alguma pesquisa sobre até que ponto a mente humana pode lidar com esse problema, possivelmente auxiliada por máquinas de Turing ou computadores de uso geral? Nota : Obviamente, no sentido...
Existe um conjunto de construções de linguagem de programação em uma linguagem de programação para que seja considerada Turing Complete? Pelo que sei da wikipedia , o idioma precisa suportar a recursão ou, aparentemente, deve ser capaz de executar sem parar. Isso é tudo o que...
Concordo que uma máquina de Turing pode fazer "todos os possíveis problemas matemáticos". Mas isso é porque é apenas uma representação de máquina de um algoritmo: primeiro faça isso, depois faça aquilo, finalmente produza isso. Quero dizer que qualquer coisa solucionável pode ser representada por...
Na computação quântica, qual é o modelo equivalente de uma máquina de Turing? Está bem claro para mim como os circuitos quânticos podem ser construídos a partir de portas quânticas, mas como podemos definir uma máquina quântica de Turing (QTM) que pode realmente se beneficiar de efeitos quânticos,...
Em esta resposta é mencionado Uma linguagem regular pode ser reconhecida por um autômato finito. Uma linguagem livre de contexto requer uma pilha e uma linguagem sensível ao contexto requer duas pilhas (o que equivale a dizer que requer uma máquina de Turing completa) . Eu queria saber sobre a...
Existem máquinas teóricas que excedem a capacidade das máquinas de Turing em pelo menos algumas
Vejo que a maioria das definições do que é ser completo em Turing é tautológica até certo ponto. Por exemplo, se você pesquisar no Google "o que significa ser completo de Turing", você obtém: Um computador é Turing completo se puder resolver qualquer problema que uma máquina de Turing possa...
Alan Turing propôs um modelo para uma máquina (a Máquina de Turing, TM) que calcula (números, funções, etc.) e provou o Teorema da Halting . Uma TM é um conceito abstrato de uma máquina (ou mecanismo, se você preferir). O Teorema da Parada é um resultado impossível. Um Motor de Carnot (CE) é um...
Eu estava passando pela discussão sobre a questão Como definir máquinas de Turing quânticas? e sinto que a MT quântica e a MT não - determinística são a mesma coisa. As respostas para a outra pergunta não tocam nisso. Esses dois modelos são iguais? Se não, Quais são as diferenças entre quantum...
Encontrei abaixo a declaração de Alan M. Turing aqui : "A visão de que as máquinas não podem causar surpresas se deve, creio eu, a uma falácia à qual filósofos e matemáticos estão particularmente sujeitos. Essa é a suposição de que, assim que um fato é apresentado à mente, todas as conseqüências...
Atualmente, estou lendo um livro sobre algoritmos e complexidade. No momento, estou lendo sobre funções computáveis e não computáveis, e meu livro afirma que há muito mais funções que não são computáveis do que computáveis; na verdade, a maioria é não computável, diz. Em certo sentido, posso...
A tese de Church-Turing afirma que tudo o que pode ser fisicamente calculado, pode ser computado em uma máquina de Turing. O artigo "Computação analógica via redes neurais" (Siegelmannn e Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que uma rede neural de uma determinada...
A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...
Recentemente, na minha turma de CS, fui apresentado à máquina de Turing. Após a aula, passei mais de duas horas tentando descobrir qual é a relação entre uma fita e uma máquina. Eu desconhecia completamente a existência de fitas de computador ou como as fitas e máquinas interagiam até hoje....
Estou fazendo uma apresentação sobre as máquinas de Turing e queria dar uma base sobre os FSMs antes de apresentar as máquinas de Turing. O problema é que eu realmente não sei o que é MUITO diferente um do outro. Aqui está o que eu sei que é diferente: O FSM possui estados seqüenciais,...
Sou engenheiro eletricista e só tive um curso de CS na faculdade há 26 anos. No entanto, eu também sou um usuário dedicado do Mathematica. Tenho a sensação de que as máquinas de Turing são muito importantes na ciência da computação. A importância é apenas na teoria da ciência da computação? Se...
O problema de parada afirma que não há algoritmo que determine se um determinado programa é interrompido. Como conseqüência, deve haver programas sobre os quais não podemos dizer se eles terminam ou não. Quais são os exemplos mais simples (menores) conhecidos de tais
Considerando apenas o alfabeto , as cadeias que podem ser fornecidas como entrada para as máquinas de Turing são do conjunto . Mas faz sentido que a entrada seja uma sequência binária infinita? Por exemplo, se uma máquina de Turing aceita todas as cadeias que começam com 0, uma cadeia binária de...
Estou tendo problemas para entender a prova da indecidibilidade do problema da parada. Se retorna se o programa interrompido ou não na entrada b , por que precisamos passar o código de P para ambos a e b ?a b P a bH( a , b )H(a,b)H(a,b)umaaabbbPPPumaaabbb Por que não podemos alimentar H(...