Perguntas com a marcação «computability»

Você pode obter o número Gödel de uma RAM, fazendo dele uma lista de comandos e fazendo dessa lista um número inteiro. Então, o que eu pensei é algo como "A RAM que retornaria seu próprio número Gödel (digamos, ) teria que ter as informações , para que o número …

12 computability 

Tenho problemas para entender o problema de parada de Turing. Sua prova supõe que exista uma máquina mágica que possa determinar se um computador interromperá ou repetirá para sempre uma determinada entrada. Em seguida, anexamos outra máquina que inverte a saída e temos uma contradição e, portanto, não pode existir.HHHHHHH …

12 computability  halting-problem 

Um comentário sobre o tex.SE me fez pensar. A afirmação é essencialmente: Se eu posso escrever um compilador para o idioma X no idioma X, X é Turing-complete. Em termos de computabilidade e linguagens formais, é o seguinte: Se decidir e , então .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle M \rangle \in LFL=REFL=REF_L …

12 computability  turing-completeness 

Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Diz-se que a teoria da computabilidade também é chamada de teoria da recursão. Por que é assim chamado? Por que a recursão tem tanta importância?

12 computability  terminology  history 

Estou estudando o teorema do smn e o conceito me lembrou de currying. Do artigo da wikipedia sobre o teorema do smn : o teorema diz que, para uma dada linguagem de programação e números inteiros positivos m e n, existe um algoritmo específico que aceita como entrada o código …

12 computability 

Então, considerando dois DFAs, o problema de descobrir se eles geram o mesmo idioma é um problema Decidable? Eu já sei que a Igualdade de duas CFL não é Decidable mas e a igualdade de dois DFAs? considerando que a maioria dos problemas com os DFAs é decidível, isso também …

11 computability  automata  finite-automata  decision-problem 

Esta questão é sobre se todo teorema matemático pode ser reduzido à questão de uma única máquina de Turing parar. Em particular, estou interessado em conjecturas que atualmente não são comprovadas. Por exemplo: a Wikipedia diz que atualmente não se sabe se existem números perfeitos ímpares. Como é decidido se …

11 formal-languages  computability  mathematical-foundations 

A existência de problemas indecidíveis implica imediatamente a imprevisibilidade dos sistemas físicos? Vamos considerar o problema da parada, primeiro construímos um UTM físico, digamos usando a construção habitual baseada em circuito. Então não pode haver uma teoria física decidível que possa determinar, dada qualquer configuração de entrada dos circuitos, se …

11 computability  turing-machines  undecidability  physics 

Sinto muito se esta pergunta tem alguma resposta trivial que estou perdendo. Sempre que estudo algum problema que foi provado indecidível, observo que a prova depende de uma redução para outro problema que foi provado indecidível. Entendo que ele cria algum tipo de ordem sobre o grau de dificuldade de …

11 computability  reductions  undecidability 

Seja Existe uma máquina de Turing R que decide (não quero dizer, reconhece) o idioma ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Parece que a mesma técnica usada para mostrar que …

11 turing-machines  computability  undecidability 

Existe um algoritmo para o seguinte problema: Dada uma máquina de Turing que decide uma linguagem L , existe uma máquina de Turing decide tal que ?M1M1M_1LLL L t 2 ( n ) = o ( t 1 ( n ) )M2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) As funções e t 2 são …

11 complexity-theory  computability  undecidability  decision-problem 

Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse fato?

11 computability  reference-request  turing-machines  quantum-computing 

Eu me deparei com o seguinte problema interessante: sejam polinômios sobre o campo dos números reais e suponhamos que seus coeficientes sejam todos inteiros (ou seja, existe uma representação exata finita desses polinômios). Se necessário, podemos supor que o grau de ambos os polinômios seja igual. Vamos denotar por (resp. …

11 computability  undecidability  computer-algebra 

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry