Perguntas com a marcação «computability»

Quero especificar o que significa dar uma álgebra como entrada para um algoritmo e não encontrei muita literatura sobre isso. Então, primeiro quero perguntar se você pode recomendar um livro ou artigo que lide com o tópico de análise de complexidade de álgebras sobre campos e defina claramente o problema …

11 computability  terminology  decision-problem 

Uma pergunta recente no exame foi a seguinte: AAAA é um conjunto infinito recursivamente enumerável. Prove que possui um subconjunto recursivo infinito.AAA Deixe ser um subconjunto recursiva infinito de . deve ter um subconjunto que não seja recursivamente enumerável?A CCCCAAACCC Eu já respondi 1.. Em relação a 2., respondi afirmativamente …

11 computability  check-my-proof 

Como é possível decidir se possui alguma sequência de dígitos? ππ\pime inspirou a perguntar se a seguinte variação de aparência inocente é computável: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability  real-numbers 

Sistema de reescrita é um conjunto de regras na forma de . Se aplicarmos essa regra a uma string w , substituiremos qualquer substring A em w por um substring B e vice-versa.A ↔ BUMA↔BA \leftrightarrow BWWwUMAUMAAWWwBBB Dada uma sequência inicial podemos derivar B A A B no sistema com …

11 computability  term-rewriting 

É teoricamente possível especificar uma linguagem de programação para a qual não existe implementação? Uma linguagem de programação é uma maneira de definir funções. Uma implementação significa um método para executar um determinado programa nesse idioma em uma determinada entrada para a saída da função correspondente ao programa nessa entrada. …

11 formal-languages  computability  programming-languages 

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 

Estou estudando para a minha final em teoria da computação e estou lutando com a maneira correta de responder se essa afirmação é verdadeira ou falsa. Pela definição de , podemos construir a seguinte declaração,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B …

11 complexity-theory  computability  reductions 

Pode-se mostrar que dois modelos de computação são completos, se cada um pode codificar um simulador universal para o outro. Pode-se mostrar que duas lógicas são completas se uma codificação das regras de inferências (e talvez axiomas, se presentes) de cada uma se mostrar como teoremas da outra. Na computabilidade, …

10 computability  logic  turing-completeness 

Aprendi hoje que a análise de algoritmos difere com base no modelo computacional. É algo em que nunca pensei ou ouvi falar. Um exemplo dado a mim, que o ilustrou ainda mais, pelo usuário @chi foi: Por exemplo, considere a tarefa: dado retorne . Na RAM, isso pode ser resolvido …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Eu tenho tentado descobrir se o problema de parada é decidível para autômatos celulares unidimensionais de três símbolos. Definição Deixe denotar a configuração do sistema no momento da etapa . Mais formalmente , onde é o alfabeto.i f : A ∗ × N → A ∗ Af( w , i …

10 computability  decision-problem  halting-problem  cellular-automata 

Este é provavelmente um pensamento bobo, mas suponha que temos um computador que está programado para executar uma sequência infinita de cálculos e suponha que o cálculo leva 1 / 2 i segundos para ser concluído. Então este computador pode fazer um número infinito de cálculos em uma quantidade finita …

10 computability  computation-models 

Estou tentando encontrar as respostas de duas perguntas sobre a máquina Universal Turing. Como a máquina Universal de Turing pode simular uma máquina de Turing se a que está sendo simulada possui um número maior de estados? Como a máquina Universal Turing pode simular uma máquina de Turing se a …

10 computability  turing-machines  simulation  turing-completeness 

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 

Vi sites que pretendem "provar" que o HTML5 + CSS é Turing Complete. Eu já vi sites que pretendem "provar" que o SQL é Turing Complete. Eu já vi vários sites que pretendem "explicar" o que significa ser Turing Complete. O suficiente! Onde posso encontrar um livro (escrito por um …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis