Estudei algo sobre a Complexidade Kolmogorov , li alguns artigos e livros de Vitanyi e Li e usei o conceito de Distância de compressão normalizada para verificar a estilometria dos autores (identifique como cada autor escreve alguns textos e agrupa documentos por sua semelhança). Nesse caso, os...
Recentemente, ouvi uma analogia interessante que afirma que a prova de Turing da indecidibilidade do problema da parada é muito semelhante ao paradoxo do barbeiro de Russell. Então, fiquei pensando: os matemáticos conseguiram tornar a teoria dos conjuntos consistente ao passar da ingênua...
Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente...
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...
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...
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...
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...
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'?
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...
É necessário que um problema difícil de NP seja computável? Acho que não, mas não tenho
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 a TM which stops for...
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)<Xt∈N:0≤f(t)<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...
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
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 trituração, qual é a quantidade...
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...
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 -...
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...
Quero saber se o seguinte problema é decidível e como descobrir. Todos os problemas que vejo podem dizer "sim" ou "não" a ele; portanto, a maioria dos problemas e algoritmos é decidível, exceto alguns (que são fornecidos aqui )? Entrada: Um gráfico direcionado e finito , com v e u como vértices....
Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim)....
Quais operações precisam ser executadas para realizar qualquer cálculo analógico arbitrário ? Adição, subtração, multiplicação e divisão seriam suficientes? Além disso, alguém sabe exatamente quais problemas são tratáveis usando computação analógica, mas não com...