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

Estou fazendo uma apresentação sobre as máquinas de Turing e queria dar uma base sobre os FSMs antes de apresentar as máquinas de Turing. O problema é que eu realmente não sei o que é MUITO diferente um do outro. Aqui está o que eu sei que é diferente: O …

27 terminology  turing-machines  finite-automata  machine-models 

Recentemente, na minha turma de CS, fui apresentado à máquina de Turing. Após a aula, passei mais de duas horas tentando descobrir qual é a relação entre uma fita e uma máquina. Eu desconhecia completamente a existência de fitas de computador ou como as fitas e máquinas interagiam até hoje. …

27 turing-machines  computation-models 

Sou engenheiro eletricista e só tive um curso de CS na faculdade há 26 anos. No entanto, eu também sou um usuário dedicado do Mathematica. Tenho a sensação de que as máquinas de Turing são muito importantes na ciência da computação. A importância é apenas na teoria da ciência da …

27 turing-machines 

Considerando apenas o alfabeto , as cadeias que podem ser fornecidas como entrada para as máquinas de Turing são do conjunto . Mas faz sentido que a entrada seja uma sequência binária infinita? Por exemplo, se uma máquina de Turing aceita todas as cadeias que começam com 0, uma cadeia …

26 turing-machines 

Estou tendo problemas para entender a prova da indecidibilidade do problema da parada. Se retorna se o programa interrompido ou não na entrada b , por que precisamos passar o código de P para ambos a e b ?a b P a bH( a , b )H(a,b)H(a,b)umaaabbbPPPumaaabbb Por que não …

25 computability  turing-machines 

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 direito o que são. Alguém pode me dizer o que são em …

24 formal-languages  computability  turing-machines 

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 …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

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 …

24 turing-machines  quantum-computing 

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 cálculo Lambda é …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

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 repete?

22 computability  turing-machines  halting-problem 

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 formulação de campo de Cantor para um …

21 computability  turing-machines  computation-models  halting-problem 

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 inferior.Ω ( n2)Ω(n2)\Omega(n^2) …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

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 e converto …

19 formal-grammars  turing-machines  simulation 

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 ideia?

18 formal-languages  turing-machines  computability  automata 

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 autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata