Perguntas com a marcação «computability»

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de …

7 computability  reductions  turing-machines 

Tenho uma pergunta geral sobre o mapeamento de reduções. Eu já vi vários exemplos de redução de funções paraATMATMA_{TM} onde ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } …

7 computability  proof-techniques  reductions 

Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo relacionado à computabilidade.

7 computability  automata  reference-request  computation-models 

Foi-me dada a pergunta Onde o idioma a seguir se encaixa na hierarquia de Chomsky? Soluções não negativas ( x , y)(x,y)(x,y) para a equação diofantina 3 x - y= 13x−y=13x-y=1. Eu entendo idiomas como L = {0 0n1 1n∣ n ≥ 1 }L={0n1n∣n≥1}L = \{ 0^n1^n \mid n \ge …

7 formal-languages  computability 

Existe um circuito aritmético equivalente para cada função computável? Eu tenho tentado entender a afirmação acima, mas não encontrei um exemplo contrário, apesar de acreditar que a afirmação é falsa. O que me deixou curioso é que li alguns teoremas afirmando que um protocolo (teoria do protocolo de criptografia) pode …

6 computability  computation-models  cryptography  circuits  simulation