Na aula da semana passada, meu professor comentou e disse que as máquinas de Turing são usadas como uma medida / modelo padrão do que é computável e são uma base útil de discussão para esse assunto. Ela também disse que todas as variantes de máquinas de Turing são comprovadamente equivalentes em...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Encontrei muitas definições de linguagens recursivas e recursivamente enumeráveis. Mas eu não conseguia entender...
A lógica construtivista é um sistema que remove a lei do meio excluído, bem como a dupla negação, como axiomas. É descrito na Wikipedia aqui e aqui . Em particular, o sistema não permite provas por contradição. Eu estou querendo saber, alguém está familiarizado com como isso afeta os resultados em...
Uma máquina de Turing que retorne ao estado encontrado anteriormente com sua cabeça de leitura / gravação na mesma célula da mesma fita será presa em um loop. Essa máquina não para. Alguém pode dar um exemplo de uma máquina sem interrupção que não se
Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O...
Recentemente, ouvi uma analogia interessante que afirma que a prova de Turing da indecidibilidade do problema da parada é muito semelhante ao paradoxo do barbeiro de Russell. Então, fiquei pensando: os matemáticos conseguiram tornar a teoria dos conjuntos consistente ao passar da ingênua...
De acordo com este artigo da Wikipedia , gramáticas irrestritas são equivalentes às máquinas de Turing. O artigo observa que eu posso converter qualquer máquina de Turing em uma gramática irrestrita, mas mostra apenas como converter uma gramática em uma máquina de Turing. Como, de fato, faço isso...
Estou procurando exemplos de problemas que tenham um limite inferior de ) para a entrada x .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx O problema precisa ter as seguintes propriedades: prova de tempo de execução para qualquer algoritmo - primeira prioridade é ter o mais simples possível argumento limite...
A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de...
Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma
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...
Existem muitos (e eu digo muitos) idiomas contáveis que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing
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)....
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 I N I T EC F G= {...
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)...
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 a...
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 quais é...
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. Um...
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...
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...