Perguntas com a marcação «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 

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 

Entendo que a maioria dos problemas é trivial se um oráculo de parada estiver disponível (ou, penso, de forma equivalente, hiper-computação). No entanto, aplicar o argumento que mostra o Problema de Halting é impossível para uma máquina de Turing também mostra que é impossível para um oráculo de Turing + …

11 computability  undecidability  halting-problem  oracle-machines 

Uma das definições de um conjunto computávelmente enumerável (ce, equivalente a recursivamente enumerável, equivalente a semidecidável) é o seguinte: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* é ce sse existe uma língua decidíveisV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* (chamado verificador) r para todos osx∈Σ∗x∈Σ∗x\in \Sigma^* , x∈Ax∈Ax\in A sse existe umay∈Σ∗y∈Σ∗y\in\Sigma^* r⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V . …

11 computability  proof-techniques  undecidability 

No problema de parada, estamos interessados ​​se existe uma máquina de Turing que pode dizer se uma determinada máquina de Turing pára ou não em uma determinada entrada . Geralmente, a prova começa assumindo que existe umEm seguida, consideramos um caso em que restringimos ao próprio e derivamos uma contradição …

10 computability  undecidability  halting-problem 

Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for decidida?

10 terminology  turing-machines  undecidability 

Existe a necessidade de ser infinito para ser indecidível?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quero dizer, e se escolhermos um idioma seja uma versão finita limitada de , ou seja , ( ), com . É possível que seja uma linguagem indecidível? L ⊆ Σ * | L ' | ≤ N N ∈ …

10 formal-languages  computability  undecidability 

OK, então aqui está uma pergunta de um teste passado na minha aula de Teoria da Computação: Um estado inútil em uma TM é aquele que nunca é inserido em nenhuma sequência de entrada. Deixe Prove que \ mathrm {USELESS} _ {\ mathrm {TM}} é indecidível.U S E L E …

10 computability  undecidability  formal-methods  turing-machines 

Neste site, existem muitas variantes sobre a questão de saber se as TMs podem decidir o problema da parada, seja para todas as outras TMs ou para certos subconjuntos. Esta questão é um pouco diferente. Ele pergunta se o fato de o problema de parada se aplicar a todas as …

9 computability  turing-machines  undecidability  halting-problem 

Uma declaração do teorema de Rice é apresentada na página 35 de "Complexidade computacional: uma abordagem moderna" (Arora-Barak): Uma função parcial a partir de { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* a { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* é uma função que não está necessariamente definido em todas as …

9 computability  turing-machines  undecidability  rice-theorem 

Ocorreu-me uma pergunta sobre o problema da interrupção e não consegui encontrar uma boa resposta on-line, imaginando se alguém poderia ajudar. É possível que o problema da parada seja decidível para qualquer TM em qualquer entrada, desde que a entrada não seja a própria TM? Basicamente: Halts(TM, I) IF TM …

9 computability  undecidability  halting-problem 

Hoje, no almoço, levantei essa questão com meus colegas e, para minha surpresa, o argumento de Jeff E. de que o problema é decidível não os convenceu ( aqui está uma publicação intimamente relacionada ao mathoverflow). Uma declaração de problema que é mais fácil de explicar ("é P = NP?") …

9 computability  undecidability 

Vamos supor que eu tenho duas funções FFF e GGG e estou interessado em determinar se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Vamos supor que minhas funções sejam compostas por funções elementares (polinômios, exponenciais, logs e funções trigonométricas), mas não, digamos, séries de Taylor. Esse problema é decidível? Se não, é semidecidável? …

9 computability  undecidability  mathematical-analysis  computer-algebra