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

Sabe-se que qualquer máquina de Turing (determinística, com uma única fita) que executa no tempo decide um idioma regular (por exemplo, consulte este link ). Assim, existe uma máquina de Turing equivalente que roda no tempo . Em outras palavras, se entãoo(nlogn)o(nlog⁡n)o(n\log n)O(n)O(n)O(n)t(n)=o(nlogn)t(n)=o(nlog⁡n)t(n)=o(n\log n)DTIME(t(n))∖DTIME(n)=∅.DTIME(t(n))∖DTIME(n)=∅.\mathsf{DTIME}\left(t\left(n\right)\right)\backslash\mathsf{DTIME}\left(n\right)=\emptyset. Fiquei imaginando se existe um exemplo …

7 complexity-theory  turing-machines  time-complexity 

A máquina de Turing foi inventada por uma mente humana. Presumivelmente, nada menos poderoso do que uma máquina de Turing pode inventar uma máquina de Turing. No entanto, uma máquina de Turing possui fita infinita, enquanto a mente está situada em um universo finito e, portanto, só pode ser uma …

7 turing-machines 

O objetivo de Turing ao construir seu conceito era formalizar como os humanos fazem o raciocínio abstrato. Agora me corrija se eu estiver errado, mas esse raciocínio parece apenas um exercício em que você manipula um conjunto de declarações formais, ou seja, strings sem nenhuma semântica associada a ele. Portanto, …

7 formal-languages  turing-machines 

(Espero que isso não tenha sido solicitado antes, mas não encontrei nada.) No meu entendimento, o não determinismo se aplica apenas a problemas de decisão, devido à exigência da existência de um caminho de aceitação . Na Wikipedia, a classeNPNPNP-easy é definido como solucionável em poltime determinístico, com acesso a …

7 turing-machines  computation-models  nondeterminism 

Eu tenho procurado uma linguagem prototípica para linguagens recursivas (decidíveis) que não seja sensível ao contexto sem sucesso. Por exemplo, é prototípico de linguagens regulares, para linguagens livres de contexto e para linguagens sensíveis ao contexto. Eu costumo considerar a linguagem que é aceita por uma máquina universal de Turing …

7 formal-languages  turing-machines  context-sensitive 

Peço desculpas se esta pergunta já foi feita antes, mas não consegui encontrar uma duplicata. Acabei de ler The Annotated Turing e estou um pouco confuso. Pelo que entendi, o problema do Entscheidung é se existe ou não um algoritmo que pode determinar se uma declaração é comprovável. No artigo, …

7 computability  turing-machines  logic  decision-problem  incompleteness 

Estou estudando a prova do seguinte teorema: Dada a linguagem REGULARTM={⟨M⟩|MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M é uma máquina de turing e Accept(M)Accept(M)\mathit{Accept}(M) é regular}}\} REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} é indecidível. A prova dada na Sipser mostra que, se já temos uma máquina RRR que decide REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} então nós podemos fazer uma …

7 computability  turing-machines  undecidability 

Tentei provar que o seguinte idioma é recursivo: para , um número inteiro positivo: ondeΣ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\}kkkeuk=HT M ,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HT M ,ε= { ⟨ M⟩ | M é uma TM que para em uma entrada vazia }HTM,ε={⟨M⟩∣M is a TM that halts on …

7 computability  turing-machines  proof-techniques 

Eu segui dois livros famosos sobre "Autômatos e Teoria da Linguagem Formal": Livro de Micheal Sipser Livro de Jeffrey Ullman e John Hopcroft nos dois livros, a definição de nível de tupla da máquina de Turing difere entre si. Embora o trabalho em nível abstrato seja o mesmo, mas os …

7 terminology  turing-machines 

Suponha que tenhamos uma árvore na qual as folhas sejam rotuladas com um conjunto de números LLLe nós internos com um conjunto de operações OOO. Em particular LLL pode ser N,ZN,Z\mathbb{N}, \mathbb{Z} ou QQ\mathbb{Q}e, opcionalmente, pode conter ππ\pi e / ou eee. OOO pode ser qualquer subconjunto de {+,−,⋅,/, ^}{+,−,⋅,/, …

7 algorithms  turing-machines  real-numbers  equality 

Eu estava pensando outro dia, e me ocorreu que todos os programas de computador parecem representáveis ​​como um gráfico (uma árvore de sintaxe abstrata, por exemplo) ou, uma vez que expressões comuns são combinadas, um gráfico de sintaxe abstrata. Ocorreu-me que talvez qualquer programa de computador possa ser representado como …

7 graphs  turing-machines  machine-models 

Agora estou bastante confiante em como transformar algo em uma máquina de Turing. Agora, minha pergunta é como você converte a MT em um complemento de uma máquina de Turing. Pelo que me lembro no Autômato Finito, complementando-o, você transformaria um estado inicial em um estado final; também, se você …

7 turing-machines  automata  closure-properties 

Eu sou um estudante do ensino médio na décima segunda série. Eu estudo programação de alto nível e um pouco de ciência básica da computação. Recentemente, comecei a entender o que é uma Máquina de Turing. Eu quero perguntar: Entendo que uma Máquina de Turing é um dispositivo hipotético usado …

7 turing-machines 

Dada uma máquina de Turing , dizemos que se a linguagem decidida pela máquina puder ser decidida por alguma máquina em tempo polinomial. Dizemos que se a máquina funcionar em tempo polinomial. Note-se que pode haver máquinas que rodam desnecessariamente longo, mas ainda decidir um idioma em P . Pelo …

7 computability  time-complexity  turing-machines 

Por uma máquina de Turing de baunilha, quero dizer uma máquina de Turing com uma fita (sem fitas especiais de entrada ou saída). O problema é como se segue: a fita é inicialmente vazia, com excepção de uma série de s e s terminadas por um caractere de fim-de-corda. A …

7 complexity-theory  turing-machines  time-complexity  lower-bounds