Perguntas com a marcação «computability»

No livro de Andrew W. Appel, Modern Compiler Implementation in ML , ele diz no capítulo 17 que a teoria da Computabilidade mostra que sempre será possível inventar novas transformações de otimização e prossegue para provar que um compilador totalmente otimizado resolverá o problema de parada: Um programa Q que …

20 computability  compilers  program-optimization 

Eu sei o que a computação é em algum sentido vago (é o que os computadores fazem), mas eu gostaria de uma definição mais rigorosa. Dictionary.comAs definições de computação, computação, cálculo e computação são circulares, portanto, não ajuda. Wikipediadefine computação como "qualquer tipo de cálculo que siga um modelo bem …

20 terminology  computability 

Considere os problemas de decisão declarados em uma linguagem formal "razoável". Digamos fórmulas na aritmética Peano de ordem superior com uma variável livre como quadro de referência, mas estou igualmente interessado em outros modelos de computação: equações diofantinas, problemas de palavras ao reescrever regras usando máquinas de Turing, etc. Uma …

20 computability  undecidability 

Existem muitas maneiras de definir a Complexidade Kolmogorov e , geralmente, todas essas definições são equivalentes a uma constante aditiva. Isto é, se e são Kolmogorov funções de complexidade (definida através de diferentes línguas ou modelos), então existe uma constante tal que, para cada corda , . Acredito que isso …

20 computability  kolmogorov-complexity 

É necessário que um problema difícil de NP seja computável? Acho que não, mas não tenho certeza.

19 complexity-theory  computability  np-hard 

Li a página da wikipedia da regra 110 nos autômatos celulares e sei mais ou menos como elas funcionam (um conjunto de regras decide onde desenhar o próximo 1 ou 0). Acabei de ler que Turing está completo, mas não consigo nem imaginar como você 'programaria' na 'regra 110'?

19 computability  automata  turing-completeness  cellular-automata 

Deixe . Preciso decidir se F é decidível ou recursivamente enumerável. Eu acho que é decidível, mas não sei como provar.F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M é uma TM que para para cada entrada em no máximo 50 etapas}F = \{⟨M⟩:\text{M is …

19 computability  undecidability 

Sou estudante de graduação em teoria da computação e tenho sérios problemas em produzir conteúdo quando me pedem. Sou capaz de acompanhar o livro (Introdução à Teoria da Computação, de Michael Sipser) e as palestras; no entanto, quando solicitado a provar algo ou a apresentar uma descrição formal de uma …

19 computability  education  intuition 

O problema da parada não pode ser resolvido no caso geral. É possível criar regras definidas que restringem as entradas permitidas e o problema de parada pode ser resolvido para esse caso especial? Por exemplo, parece provável que uma linguagem que não permita loops, por exemplo, seria muito fácil de …

18 computability  undecidability  software-engineering  formal-methods 

Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma ideia?

18 formal-languages  turing-machines  computability  automata 

Existe uma função computável f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} tal que: Para todos t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Onde é um número real incontestável.XXX A única referência a esta pergunta que encontrei foi a resposta a esta pergunta : /math//a/1052579/168764 , onde a função parece que ela se manteria, …

18 computability 

Configuração: expressões regulares com referências anteriores idioma unário (alfabeto de 1 símbolo) O seguinte problema é decidível nessa configuração: Dada uma expressão regular com referências anteriores, ela define um idioma regular? Por exemplo, (aa+)\1define um idioma regular, enquanto (aa+)\1+não. Podemos decidir qual é o caso? Para concretude, "expressões regulares com …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

A memória é usada para muitas coisas, como eu entendo. Ele serve como cache de disco e contém as instruções dos programas e sua pilha e pilha. Aqui está um experimento mental. Se alguém não se importa com a velocidade ou o tempo que leva para um computador fazer a …

18 computability  memory-management  memory-hardware 

O conjunto de Mandelbrot é uma bela criatura em matemática. Existem muitas imagens bonitas desse conjunto criadas com alta precisão, portanto, obviamente, esse conjunto é "computável" em algum sentido. No entanto, o que me preocupa é o fato de que nem sequer é recursivamente enumerável - simplesmente porque o conjunto …

18 computability 

Estou começando a ler um livro sobre Complexidade Computacional e Máquinas de Turing. Aqui está citação: Um algoritmo (ou seja, uma máquina) pode ser representado como uma sequência de bits, uma vez que decidimos alguma codificação canônica. Essa afirmação é fornecida como um fato simples, mas não consigo entender. Por …

17 algorithms  turing-machines  computability  computation-models