Estou querendo codificar uma simples máquina de Turing nas regras de um jogo de cartas. Eu gostaria de torná-la uma máquina universal de Turing para provar sua integridade. Até agora, criei um estado de jogo que codifica a máquina de Turing de 2 estados e 3 símbolos de Alex Smith . No entanto,...
Se olharmos para o teorema da hierarquia DTIME, temos um log devido à sobrecarga na simulação de uma máquina de Turing determinística por uma máquina universal: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do...
Vamos fixar uma codificação sem prefixo de máquinas de Turing e uma máquina de Turing universal que na entrada (codificada como o código sem prefixo de seguido de ) produza o que produz na entrada (possivelmente ambos correndo para sempre). Defina a complexidade de Kolmogorov de , , como a duração...
Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar? Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram: Quase todos os processos que não são obviamente simples podem ser vistos como cálculos...
Esta é uma reformulação dos programas de gramática São? solicitado anteriormente por Vag e com muitas sugestões dos comentaristas. De que maneira uma gramática pode ser vista como especificando um modelo de computação? Se, por exemplo, usarmos uma gramática simples, livre de contexto, como G ::=...
Estou procurando o menor combinador universal possível , medido pelo número de abstrações e aplicativos necessários para especificar esse combinador no cálculo lambda . Exemplos de combinadores universais incluem: tamanho 23: λf.f (fS (KKKI)) K tamanho 18: λf.f (fS (KK)) K tamanho 14:...
Existem aplicações práticas para modelos de programação que não sejam da von Neumann? Quais são as linguagens de programação não-von Neumann mais amplamente
Greg Egan em sua ficção "Dark Integers" (história sobre dois universos com duas matemáticas diferentes se comunicando por meio da comprovação de teoremas em torno da inconsistência na aritmética) afirma que é possível construir computadores de uso geral apenas em roteadores de Internet existentes...
Existe um velho truque para escrever um algoritmo que, se P = NP, resolve SAT em tempo polinomial. Essencialmente, listamos todas as máquinas do tempo polinomiais e várias tarefas sobre elas. Existe um truque análogo para funções de mão única (ou mesmo funções de alçapão de mão única)? Ou seja,...
Existem várias noções diferentes (provavelmente inequívocas) de universalidade computacional (veja, por exemplo, as últimas páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) e não há consenso entre especialistas sobre quais noções são mais corretas (veja, por...
No papel seminal de Bernstein e Vazirani "Quantum Teoria da Complexidade", eles mostram que um transformação unitária dimensional pode ser eficientemente aproximada por um produto do que eles chamam de "rotações quase trivial" e "mudanças de fase quase trivial".ddd "Perto trivial rotações" são...
Robin Gandy era aluno de Alan Turing . Gandy fez uma análise do Analytical Engine de Babbage (veja 'Gandy - A confluência de idéias em 1936' citado em 'Herken, Rolf - A Máquina Universal de Turing - Uma Pesquisa de Meio Século . Springer Verlag') - e disse que sim (cf. 52-53): As funções...
Vamos fixar uma codificação de máquinas de Turing e uma máquina de Turing universal, U, que na entrada (T, x) produz qualquer saída de T na entrada x (possivelmente ambas funcionando para sempre). Defina a complexidade de Kolmogorov de x, K (x), como a duração do programa mais curto, p, de modo que...
Estou procurando fontes sobre a noção formalizada de programas. Isso parece estar intimamente relacionado à correspondência de Curry-Howard, mas também se pode rastrear isso na Universal Turing Machines e em sua capacidade de ler a descrição e a entrada de qualquer TM. Ao ler sobre a...