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

Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Sou um pouco novo, mas muito interessado no campo da teoria da computação e da complexidade, e quero esclarecer meu entendimento sobre como classificar problemas e quão fortemente os problemas estão relacionados à máquina que está sendo usada para resolvê-los. Meu entendimento Máquina de Turing padrão - uma máquina de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Definições de máquinas de Turing são sempre explícitas sobre o símbolo em branco não fazer parte do alfabeto de entrada. Eu me pergunto o que dá errado quando você faria parte do alfabeto de entrada, porque efetivamente o símbolo em branco já parece fazer parte da entrada. Para explicar que …

12 turing-machines 

Antecedentes: Sou um leigo completo em ciência da computação. Eu estava lendo sobre os números do Busy Beaver aqui e encontrei a seguinte passagem: A humanidade pode nunca conhecer o valor de BB (6) com certeza, muito menos o de BB (7) ou qualquer número superior na sequência. De fato, …

12 turing-machines  number-theory  busy-beaver 

Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Eu estava estudando Gödelization no curso de Teoria da Computação. Eu conseguia entender os conceitos de numeração de Gödel, mas não conseguia entender sua importância na Teoria da Computação. Alguém poderia apontar para alguns bons materiais ou apontar sua importância.

12 formal-languages  turing-machines 

Eu estava analisando a definição de linguagem sensível ao contexto da Wikipedia e achei o seguinte: Cada categoria de idiomas é um subconjunto adequado da categoria diretamente acima dele. Qualquer autômato e qualquer gramática em cada categoria tem um autômato ou gramática equivalente na categoria diretamente acima. Pude ver que …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Quais são as diferenças entre as máquinas de Turing determinísticas e não determinísticas? Modelos diferentes, mas equivalentes, do NDTM. Em particular, qual é a frase usada com frequência "adivinhação não-determinística"? Como usá-lo corretamente e exemplos de uso incorreto. Meu objetivo é criar uma pergunta de referência.

12 turing-machines  nondeterminism 

Eu me perguntei por que as fitas não fazem parte da definição formal de uma máquina de Turing. Considere, por exemplo, a definição formal de uma máquina de Turing na página da Wikipedia . A definição, seguindo Hopcroft e Ullman, inclui: o conjunto finito de estados , o alfabeto de …

11 turing-machines  computation-models 

A existência de problemas indecidíveis implica imediatamente a imprevisibilidade dos sistemas físicos? Vamos considerar o problema da parada, primeiro construímos um UTM físico, digamos usando a construção habitual baseada em circuito. Então não pode haver uma teoria física decidível que possa determinar, dada qualquer configuração de entrada dos circuitos, se …

11 computability  turing-machines  undecidability  physics 

Vi máquinas de turing sendo representadas com fitas infinitas em uma e em duas direções. Existe alguma diferença no poder dessas máquinas de turing, ou elas são basicamente equivalentes? Na minha cabeça, acho que são equivalentes, pois acho que deve haver alguma maneira de representar a fita infinita bidirecional como …

11 turing-machines 

Estou lendo Sipser e acho difícil entender como é o processo. Se você me der k máquinas de Turing com fitas k, posso cuspir uma máquina de Turing equivalente com apenas uma fita. Um exemplo seria bom. Na verdade, um exemplo elaborado que mostra como passar da TM com fitas …

11 turing-machines  simulation 

Eu estava lendo uma resposta para uma pergunta recente, e uma espécie de pensamento estranho e efêmero veio à minha mente. Pedir isso pode revelar que minhas faltas teóricas estão seriamente ausentes (principalmente verdadeiras) ou que ainda é muito cedo para ler este site. Agora, com o aviso fora do …

11 turing-machines  undecidability  halting-problem 

Seja Existe uma máquina de Turing R que decide (não quero dizer, reconhece) o idioma ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Parece que a mesma técnica usada para mostrar que …

11 turing-machines  computability  undecidability 

Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse fato?

11 computability  reference-request  turing-machines  quantum-computing