Perguntas com a marcação «turing-completeness»

Brainfuck é uma linguagem de programação completa de Turing que usa apenas 8 símbolos (6 se você ignorar a E / S). Os dois mais notáveis ​​que o empurram para a perfeição de Turing são [e ], essencialmente, o rótulo de Brainfuck. Normalmente, os programas no Brainfuck usam vários conjuntos …

12 turing-completeness 

Se temos algum programa de computador arbitrário que pode modificar suas instruções, é possível simular esse programa com um programa que não pode modificar suas instruções? Editar: Eu sou novo no stackexchange, então não tenho certeza se posso fazer uma nova pergunta aqui, mas aqui vai: Ok, então a prova …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 

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 

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 

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 

Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode …

9 turing-machines  turing-completeness  boolean-algebra 

Pelo meu entendimento, Turing complete significa que o programa ou a máquina pode concluir qualquer cálculo que uma máquina de Turing possa concluir, o que para mim significa qualquer cálculo. Então, como algo como HTML ou PowerPoint pode ser Turing completo?

8 computability  turing-completeness 

É sabido que uma máquina com uma única pilha, como apenas armazenamento ilimitado, não está completa com Turing, se puder apenas ler a partir da parte superior da pilha. Eu quero uma máquina que seja (ligeiramente) mais poderosa que uma máquina de empilhar, mas que ainda não esteja completa com …

7 computation-models  turing-completeness  linked-lists  stacks 

O termo "perfeição de Turing" foi discutido em várias das aulas de ciência da computação que eu participei. No entanto, nunca tive uma noção intuitiva do que a integridade de Turing realmente exige. Encontrei essa pergunta, mas as respostas são um pouco mais matemáticas do que o que estou procurando. …

7 programming-languages  turing-completeness