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

Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados finitos. Eles parecem radicalmente diferentes: As máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Nosso PC funciona como uma máquina de Turing? O modelo de uma máquina de Turing consiste em fita de memória infinita, o que significa estados infinitos. Mas suponha que se nosso PC tiver 128 MB de memória e disco de 30 GB, ele terá 256 ^ 30128000000 estados e, portanto, …

8 complexity-theory  computability  turing-machines  automata 

Tenho um pequeno problema para entender a prova do Teorema da Hierarquia do Tempo (Hennie e Stearns, 1966) que garante a existência de uma linguagem aceitável em mas não aceitável em para quaisquer funções , de modo que seja construtível no tempo evocê( N )você(n)U(n)T( N )T(n)T(n)T( N ) , …

8 complexity-theory  turing-machines  simulation 

Seja um conjunto não trivial de linguagens recursivamente enumeráveis ​​( ) e seja L o conjunto de codificações de máquinas de Turing que reconhecem algum idioma em C : L = \ {\ langle M \ rangle \ mid L (M) \ em C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M …

8 computability  turing-machines 

Eu vi a seguinte declaração e não entendo bem o raciocínio por trás dela: Se uma máquina de Turing repete a mesma configuração duas vezes, ela deve estar em um loop infinito. Eu pensei que uma pode estar em um estado , com a fita à esquerda 000 e à …

8 complexity-theory  turing-machines 

Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registro⁡nS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita de entrada …

8 complexity-theory  turing-machines  space-complexity 

Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser. Mostrei que co- é Turing-reconhecível (eu acho): você …

8 computability  turing-machines  undecidability  decision-problem 

Espero que minha pergunta faça sentido: começando com a premissa de que o não digitado λλ\lambda o cálculo é equivalente em potência a uma máquina de Turing; ao que em uma máquina de Turing corresponde a adição de tipos ao cálculo ? Existe algum tipo de autômato analógico para digitação, …

8 turing-machines  lambda-calculus  type-theory  church-turing-thesis 

Dizem que "a máquina de Turing não é uma tecnologia de computação prática, mas um dispositivo hipotético que representa uma máquina de computação. As máquinas de Turing ajudam os cientistas da computação a entender os limites da computação mecânica". [Wikipedia] Então, em qual modelo as máquinas atuais são construídas?

8 turing-machines  computer-architecture  machine-models 

Estou tentando atacar o TAOCP mais uma vez, dado o peso literal dos volumes que tenho problemas em comprometer seriamente. No TAOCP 1, Knuth escreve, página 8, conceitos básicos: Seja um conjunto finito de letras. Seja o conjunto de todas as seqüências de caracteres em (o conjunto de todas as …

7 formal-languages  turing-machines  computation-models 

Alguém sabe o quão eficiente foi a primeira máquina de Turing fabricada por Alan Turing? Quero dizer, quantos movimentos ele fez por segundo, mais ou menos ... Só estou curioso. Também não foi possível encontrar nenhuma informação sobre isso na web.

7 turing-machines 

Entre os graus de Turing estão os graus da forma 0n0n0^n, por exemplo 000, 0′0′0', 0′′0″0''etc. Vou provar isso rápido por uma questão de integridade. Espero que ninguém tenha dúvidas com esta breve prova: Lema: Qualquer conjunto contável de conjuntos de números naturais pode ser codificado como um único conjunto …

7 computability  turing-machines 

Estou me sentindo um pouco confuso com a direção das reduções usadas para mostrar que certos idiomas não são recursivos. Por exemplo, digamos que queremos determinar se o problema de parada (HA LTTMHALTTMHALT_{TM}) é indecidível. Eu sei que podemos assumir que é decidível e tentar construir uma decisão para o …

7 computability  turing-machines  reductions  halting-problem 

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 NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] é a classe obtida pela definição acima, mas o …

7 complexity-theory  turing-machines  nondeterminism 

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

7 computability  turing-machines  halting-problem  semi-decidability