Depois de ler uma pergunta relacionada , sobre provas não-construtivas de algoritmos, fiquei pensando se existem métodos para mostrar a existência de máquinas de computação "pequenas" (digamos, em termos de estado) sem realmente construí-la. Formalmente: suponha que recebamos alguma linguagem e...
Estou procurando uma linguagem pequena que ajude a "convencer" os alunos de que máquinas de turing são um modelo de computação suficientemente geral. Ou seja, um idioma que se parece com os idiomas aos quais está acostumado, mas também é fácil de simular em uma máquina de turing. Papadimitriou usa...
Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) "....
Robin Gandy era aluno de Alan Turing . Gandy fez uma análise do Analytical Engine de Babbage (veja 'Gandy - A confluência de idéias em 1936' citado em 'Herken, Rolf - A Máquina Universal de Turing - Uma Pesquisa de Meio Século . Springer Verlag') - e disse que sim (cf. 52-53): As funções...
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...
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...
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 o u n t 1 ( x ) = K * m ;n , m , k ≥ 1
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...
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...
Vamos fixar uma codificação de máquinas de Turing e uma máquina de Turing universal, U, que na entrada (T, x) produz qualquer saída de T na entrada x (possivelmente ambas funcionando para sempre). Defina a complexidade de Kolmogorov de x, K (x), como a duração do programa mais curto, p, de modo que...
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...
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...
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...
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...