A função padrão de movimento ocupado chama a atenção para a contagem final de símbolos diferentes de zero na fita. Em vez disso, poderíamos observar a maior quantidade de símbolos diferentes de zero que aparecem na fita em qualquer ponto do cálculo. O limite inferior dessa função seria e o limite...
O problema da parada é definido como: HTM= { ⟨ M, W ⟩ | M pára na entrada w }HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Não tenho certeza do que isso significa. É um conjunto de máquinas de Turing de tal forma que todos eles aceitar /...
Estou vendo meu livro aqui, de Michael Sipser, e ele diz que uma máquina de Turing não determinística é decisiva se todos os seus ramos de computação pararem em todas as entradas. Acho que me lembro de ter visto em algum lugar o que você chamaria de máquina de Turing não determinística que pára em...
Eu acho que metade da batalha em responder a essa pergunta está em formulá-la com precisão! Um mecanismo de pesquisa não aparece muito, então eu queria saber se essa é uma pergunta bem conhecida ou bem estudada. Meus pensamentos: Eu acho que a maneira mais direta de formular essa pergunta é como...
Ao escrever uma decisão para uma máquina para ver se ela fez um movimento para a esquerda ou não em uma entrada de w , diz-se que, se continuarmos o cálculo para| w | +N+ 1|W|+N+1 1|w|+N+1 (NNN : número de estados) número de etapas, podemos tomar uma decisão para essa decisão. Não entendi porque...
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 cabeça da fita começa no...
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 ....
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 para...
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...
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...
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 detalhes são...
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 an...
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,...
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 é...
(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...
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 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...
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(nlogn)o(n\log...
É o que se sabe sobre o problema da parada e a semi-decidibilidade: O problema de parada diz que, para uma dada entrada xe uma máquina H, não podemos dizer se a máquina H pára ou não na entrada x. Diz-se que um idioma é semi-decidível se existir uma máquina de Turing que pare se uma palavra...
Existe uma definição equivalente para a classe NLNL\mathsf{NL}com verificador. Esses verificadores são máquinas de Turing determinísticas que podem ler a fita testemunha apenas uma vez, de uma maneira, da esquerda para a direita. Dada uma função f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} nós dizemos isso...