Perguntas com a marcação «computability»

Como as linguagens do Tipo 3 da Hierarquia Chomsky podem ser reconhecidas por uma máquina de estado sem memória externa (por exemplo, um autômato finito), o Tipo 2 por uma máquina de estado com uma única pilha (por exemplo, um autômato push-down) e o Tipo 0 por uma máquina de …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Estou planejando ministrar um curso de inverno sobre um número variável de tópicos, um dos quais serão compiladores. Agora, eu me deparei com esse problema enquanto pensava em atribuições a serem entregues ao longo do trimestre, mas ele me deixou perplexo, para que eu pudesse usá-lo como exemplo. public class …

32 computability  proof-techniques  compilers 

Este programa de 579 bits no Cálculo lambda binário possui um status de parada desconhecido: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Ou seja, não se sabe se este programa termina ou não. Para determiná-lo, você deve resolver a conjectura de Collatz - ou, pelo menos, para todos os …

32 algorithms  computability  kolmogorov-complexity 

Existe algum cálculo lambda digitado completo de Turing? Se sim, quais são alguns exemplos?

31 computability  lambda-calculus  type-theory 

Gostaria de saber se existe um bom exemplo para um problema NP-Hard fácil de entender que não é NP-Complete e não é indecidível? Por exemplo, o problema de parada é NP-Hard, não NP-Complete, mas é indecidível. Acredito que isso significa que é um problema que uma solução pode ser verificada, …

31 complexity-theory  computability  np-hard 

O teorema de Rice nos diz que as únicas propriedades semânticas das Máquinas de Turing (ou seja, as propriedades da função computada pela máquina) que podemos decidir são as duas propriedades triviais (ou seja, sempre verdade e sempre falsas). Mas existem outras propriedades das máquinas de Turing que não são …

30 computability  undecidability 

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 …

30 computability  turing-machines  quantum-computing  nondeterminism 

Entendo a prova da indecidibilidade do problema da parada (dada, por exemplo, no livro de Papadimitriou), com base na diagonalização. Embora a prova seja convincente (eu entendo cada etapa dela), não é intuitivo para mim no sentido de que não vejo como alguém a derivaria, partindo apenas do problema. No …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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 forma (as …

29 computability  turing-machines  church-turing-thesis 

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 …

29 turing-machines  computability  computation-models 

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 aceitar intuitivamente isso, …

29 computability  turing-machines  combinatorics 

Aprendemos sobre o conceito de enumerações de funções. Na prática, eles correspondem a linguagens de programação. Em uma observação de passagem, o professor mencionou que a classe de todas as funções totais (ou seja, as funções que sempre terminam para cada entrada) não é enumerável. Isso significaria que não podemos …

29 computability  semi-decidability  enumeration 

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

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Todo problema indecidível que eu conheço se enquadra em uma das seguintes categorias: Problemas indecidíveis por causa da diagonalização (auto-referência indireta). Esses problemas, como o problema da parada, são indecidíveis, porque você pode usar um pretenso argumento para a linguagem construir uma TM cujo comportamento leva a uma contradição. Você …

28 computability  proof-techniques  undecidability 

Existem programas que podem 'traduzir' o código fonte entre dois idiomas (assumindo que o tradutor tenha acesso às bibliotecas necessárias)? Se houver, como eles funcionam (técnicas utilizadas, conhecimento necessário etc.)? Como eles poderiam ser construídos? Se não estiverem, quais são as restrições que impedem seu desenvolvimento? Esse é um problema …

28 computability  programming-languages  compilers