Perguntas com a marcação «computability»

Lendo esta pergunta " Problemas indecidíveis de ER naturais, mas não completos de Turing ", veio à minha mente o seguinte idioma: Se for a função de castor ocupado (pontuação máxima atingível entre todas as máquinas de Turing de estado n de dois símbolos com parada do tipo descrito acima, …

9 computability  turing-machines 

Queremos ladrilhar m × mm×mm\times m quadrado usando dois tipos de ladrilhos: 1 × 11 1×1 11 \times 1 quadrado e 2×22×22 \times 2 quadrado, de forma que todos os quadrados subjacentes sejam cobertos sem sobreposição. Vamos definir uma função f(n)f(n)f(n) que fornece o tamanho do maior quadrado cultivável exclusivamente …

9 computability  combinatorics 

Por que os números computáveis ​​(no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou vendo.

9 computability  turing-machines  enumeration 

Uma máquina de Turing com permissão para ler e escrever símbolos de um alfabeto infinito é mais poderosa que uma TM comum (essa é a única diferença, a máquina ainda possui um número finito de estados)? A intuição não me diz, pois você precisa de um número infinito de estados …

9 computability  turing-machines  reductions  simulation 

Gostaria de usar sua ajuda com o seguinte problema: . Mostram que a L ∉ R E ∪ C O R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Eu sei que para provar , é o suficiente para encontrar uma linguagem …

9 formal-languages  computability  context-free  turing-machines 

No meio do período, houve uma variante da seguinte pergunta: Para um decidível, defina Mostre que não é necessariamente decidível.Pref ( L ) = { x | ∃ y r x y ∈ G } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ …

9 computability  undecidability 

Estou tentando criar uma prova para o seguinte: Para qualquer idioma , existe uma linguagem B tal que A ≤ T B , mas B ≰ T A .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Eu estava pensando em deixar ser um T M , mas eu percebo que nem todos os idiomas …

9 computability  reductions  undecidability 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para referência, o artigo em …

9 formal-languages  terminology  computability  automata  closure-properties 

Eu estava olhando para esta leitura do MIT sobre complexidade computacional e, às 15:00, Erik Demaine embarca em uma demonstração para mostrar o que é afirmado no título desta pergunta. No entanto, não posso seguir seu raciocínio, na prática o que ele diz é o seguinte: podemos declarar um problema …

8 computability  proof-techniques  decision-problem  uncountability 

A teoria do domínio fornece uma incrível teoria da computabilidade na presença de tipos simples. Mas quando o polimorfismo paramétrico é adicionado, não parece haver uma teoria legal que explique o que está acontecendo tão bem quanto a teoria de domínio explica a computação por tipos simples. Certamente, eu não …

8 computability  type-theory  dependent-types 

Considere os termos criados a partir dos elementos de e as operações +, \ times, -, / , e \ sqrt [n] {\, \ cdot \,} para cada número natural n . Dada a promessa de que dois termos são bem-formados - isto é, não há divisão por zero e …

8 computability  undecidability  number-theory  equality 

Quando li sobre a tese de Church-Turing, parece ser uma afirmação comum que "a realidade física é computável em Turing". Qual é a base para esta reivindicação? Existem resultados teóricos nesse sentido? Por um contexto, sou um pesquisador que trabalha em simulações físicas, portanto, é claro que estou ciente de …

8 computability  simulation  church-turing-thesis  hypercomputation 

Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da parada.

8 computability  reference-request  undecidability 

E se f: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} é computável e tem um inverso, sob quais condições é f- 1f−1f^{-1}também computável? Não consegui encontrar isso em um livro didático, e o google recebe algumas sugestões vagas sobre o bijetivo, mas não consegui encontrar um teorema claramente estabelecido para esse efeito. De improviso, …

8 computability