Existem espaços-tempo relativísticos (por exemplo, espaços-tempo MH; ver Hogarth 1994) em que uma linha do mundo de duração infinita pode estar contida no passado de um observador finito. Isso significa que um observador normal pode ter acesso a um número infinito de etapas de computação. Supondo...
Eu tenho essas perguntas de um exame antigo que estou tentando resolver. Para cada um dos problemas, a entrada é uma codificação de uma máquina de Turing .MMM Para um número inteiro e os três problemas a seguir:c > 1c>1c>1 É verdade que, para cada entrada , M não passa na posição ao...
Eu sei que os portões NAND podem ser usados para criar circuitos que implementam todas as tabelas verdadeiras, e os computadores modernos são construídos com portões NAND. Qual é a ligação teórica entre os portões NAND e a integridade de Turing? Parece-me que os circuitos NAND gate estão mais...
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...
Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não...
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...
Estou tentando entender a existência de linguagens não reconhecíveis. Para conseguir isso, preciso saber por que uma máquina de Turing reconhece apenas um idioma, não vários. Por que é
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...
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 o DFA é muito...
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...
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...
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, os...
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...
Li várias vezes que não é possível alterar a resposta de um NDTM com eficiência. No entanto, eu não entendo o porquê. Por exemplo, dado um NDTM executado em O ( n ) , este texto (seção 3.3) afirma que não está claro como outro NDTM T pode determinar em O ( n 100 ) tempo como inverter a resposta de...
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 para uma com 1 fita é o...
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 fita , o símbolo...
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
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...
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...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...