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

Qualquer idioma que não esteja completo em Turing não pode escrever um intérprete para si próprio. Não tenho idéia de onde li isso, mas já o vi usado várias vezes. Parece que isso dá origem a uma espécie de linguagem completa "final" não-Turing; aquele (s) que só podemser interpretado por …

16 computability  turing-machines 

Dada uma linguagem L definida por uma máquina de Turing que a decide, é possível determinar por algoritmo se L está no NP?

15 cc.complexity-theory  computability  turing-machines 

De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o funcional ponto de vista? Seria possível? …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Em conexão com essa pergunta , me ocorreu pensar: qual é a complexidade de tempo para uma máquina de Turing de uma única cabeça e uma fita calcular a duração de sua entrada? Para ser específico, digamos que o alfabeto da fita seja , a entrada seja uma string em …

13 turing-machines 

Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é óbvio para onde procurar, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Existe uma máquina de Turing que pode decidir se quase todas as outras máquinas de Turing são interrompidas? Suponha que tenhamos alguma enumeração de máquinas de Turing e alguma noção de "tamanho" de um conjunto de números naturaise definimos:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't …

12 turing-machines  halting-problem 

É sabido que o problema da parada é incontestável. No entanto, é possível compactar exponencialmente as informações sobre o problema de parada, para que a descompactação seja computável. Mais precisamente, é possível calcular a partir de uma descrição de máquinas de Turing e de um conselho de n bits, a …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o suficiente?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Estou interessado especialmente no caso em que , …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Tenho certeza de que não sou o primeiro a aceitar a idéia que vou apresentar. No entanto, seria útil encontrar alguma literatura relacionada à idéia. A idéia é construir uma Máquina de Turing M com a propriedade de que, se P = NP, M resolverá o 3-SAT em tempo polinomial. …

12 reference-request  turing-machines  p-vs-np 

Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

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 conserte algum modelo de computação (NFAs / turing machine …

11 cc.complexity-theory  automata-theory  turing-machines 

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 …

11 turing-machines 

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) …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

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 …

10 turing-machines  universal-computation  charles-babbage