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

Em comemoração ao aniversário de Alan Turing, o Google publicou um doodle mostrando uma máquina. Que tipo de máquina é o doodle? Ele pode expressar um idioma completo de Turing? Existem diferenças óbvias na máquina de turing clássica: uma fita finita, restrições de como o estado pode ser conectado, ... …

10 cc.complexity-theory  turing-machines 

Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma máquina de …

10 turing-machines  dc.distributed-comp 

Eu estava brincando com a pergunta muito interessante e ainda aberta " Alfabeto da máquina de Turing de fita única " (de Emanuele Viola) e surgiu com o seguinte idioma: L = { x ∈ { 0 , 1 }n st | x | = n = 2m e c …

10 cc.complexity-theory  turing-machines  time-complexity 

A maior parte da literatura parece estar preocupada com máquinas com oráculos únicos para problemas específicos, no entanto, parece haver alguns trabalhos que consideram máquinas com múltiplos oráculos. Existe um bom artigo ou tese que forneça uma visão geral do que se sabe sobre essas máquinas? Em particular, estou interessado …

10 oracles  turing-machines 

I têm durante algum tempo sido curioso sobre máquinas de Turing com exactamente uma fita e exactamente três estados (ou seja, o estado inicial q0q0q_0 , o estado aceitar qacceptqacceptq_{accept} , e o estado rejeitar qrejectqrejectq_{reject} ). Observe que eu permito alfabetos de fita arbitrários (finitos) (ou seja, o alfabeto …

9 automata-theory  turing-machines  cellular-automata 

Os autômatos limitados lineares não determinísticos de visita limitada reconhecem apenas idiomas regulares? Por autômato delimitado linear não-determinístico (nLBA), quero dizer uma máquina de Turing não-determinística de fita única, na qual a entrada é "acolchoada" com marcadores nas duas extremidades que nunca podem ser substituídos e, portanto, a cabeça nunca …

9 automata-theory  turing-machines  regular-language  space-bounded 

Tenho uma pergunta ingênua: existe uma máquina de Turing cujo término é verdadeiro, mas não pode ser provado por nenhuma teoria natural, consistente e finamente axiomatizável? Peço uma mera prova de existência e não um exemplo específico. Isso pode ter alguma conexão com a análise ordinal . De fato, para …

9 turing-machines  proof-theory  halting-problem 

Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de contexto e até sistemas quânticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Existe uma generalização do jogo GO que se sabe que Turing está completo? Se não, você tem algumas sugestões sobre regras razoáveis ​​(generalização) que podem ser usadas para tentar provar que Turing está completo? O óbvio é que o jogo deve ser jogado em um tabuleiro infinito (quadrante positivo). Mas …

8 computability  turing-machines