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

Estou começando a ler um livro sobre Complexidade Computacional e Máquinas de Turing. Aqui está citação: Um algoritmo (ou seja, uma máquina) pode ser representado como uma sequência de bits, uma vez que decidimos alguma codificação canônica. Essa afirmação é fornecida como um fato simples, mas não consigo entender. Por …

17 algorithms  turing-machines  computability  computation-models 

Existem muitos (e eu digo muitos) idiomas contáveis ​​que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing decidível?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim). Naturalmente, …

17 computability  reference-request  turing-machines  halting-problem 

Não existe uma solução analítica geral para o problema do corpo n que possa produzir uma função analítica que possa ser usada para fornecer o estado de um sistema n corpo no tempo arbitrário t com precisão exata. No entanto, existem alguns casos especiais de sistemas com n corpos, pelos …

16 computability  turing-machines  undecidability  computation-models 

Nesta questão, consideramos apenas máquinas de Turing que param em todas as entradas. Se , em , denotamos a máquina de Turing cujo código é .T k kk∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Considere a seguinte função s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} Em outras palavras, s(x,y)s(x,y)s(x,y) é o código …

16 computability  turing-machines 

Seja uma função construtiva de tempo fixa.fff O resultado clássico da simulação universal para as TMs (Hennie e Stearns, 1966) afirma que existe uma TM duas fitas que, dada aUUU a descrição de uma TM , e⟨M⟩⟨M⟩\langle M \rangle uma sequência de entrada ,xxx corre para as etapas e retorna …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Observe que esta é uma pergunta relacionada ao estudo em um curso de CS em uma universidade, NÃO é tarefa de casa e pode ser encontrada aqui no exame do outono de 20112. Aqui estão as duas perguntas de um exame passado. Eles parecem estar relacionados, o primeiro: Deixei F …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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 que seja possível que …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Alguém em uma discussão levantou que (ele acha) que pode haver pelo menos um número contínuo de estratégias para abordar um problema específico. O problema específico era estratégias de negociação (não algoritmos, mas estratégias), mas acho que isso não vem ao caso da minha pergunta. Isso me fez pensar sobre …

15 algorithms  turing-machines  combinatorics 

Os algoritmos atuais de xadrez vão de 1 a 2 níveis abaixo de uma árvore de caminhos possíveis, dependendo dos movimentos do jogador e do adversário. Digamos que temos o poder de computação para desenvolver um algoritmo que prevê todos os movimentos possíveis do oponente em um jogo de xadrez. …

15 algorithms  turing-machines 

Estou usando um computador digital para escrever esta mensagem. Essa máquina possui uma propriedade que, se você pensar bem, é realmente notável: é uma máquina que, se programada adequadamente, pode executar qualquer cálculo possível . Obviamente, máquinas de calcular de um tipo ou de outro remontam à antiguidade. As pessoas …

15 computability  turing-machines  history 

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 próximos …

14 turing-machines  turing-completeness  digital-circuits 

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 …

14 computability  turing-machines  undecidability 

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 semidecidáveis? Pensei na …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

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 é isso?

13 turing-machines  computation-models