Perguntas com a marcação «universal-computation»

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 …

31 computability  turing-machines  universal-computation 

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(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do DSPACE. Uma justificativa básica vem dos detalhes da prova, considerando …

30 cc.complexity-theory  universal-computation  time-hierarchy 

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 …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

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 de sofisticação equivalente

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

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 ::= '1' -> '0' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

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: λf.fKSK tamanho 12: λf.fS (λxyz.x) tamanho 11: …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

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 adotadas?

16 universal-computation  logic-programming 

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 usando apenas sua funcionalidade básica de …

14 computability  universal-computation 

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

13 universal-computation  one-way-function 

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 …

10 turing-machines  universal-computation  charles-babbage 

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 -dimensional unitária matrizes que actuam como a …

10 quantum-computing  linear-algebra  universal-computation 

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 exemplo, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Estou tentando dizer algo sobre um modelo específico de computação biomolecular. Eu gostaria de argumentar …

10 universal-computation 

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

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

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 correspondência de Curry-Howard, sinto …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods