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

Eu sou um graduado em CS. Entendo como Turing criou sua máquina abstrata (modelar uma pessoa fazendo um cálculo), mas me parece uma abstração desajeitada e deselegante. Por que consideramos uma "fita" e um cabeçote de máquina escrevendo símbolos, mudando de estado, mudando a fita para frente e para trás? …

68 turing-machines  computation-models 

Sabemos que o problema da parada (nas máquinas de Turing) é indecidível para as máquinas de Turing. Existe alguma pesquisa sobre até que ponto a mente humana pode lidar com esse problema, possivelmente auxiliada por máquinas de Turing ou computadores de uso geral? Nota : Obviamente, no sentido mais estrito, …

60 computability  turing-machines  halting-problem  human-computing 

Existe um conjunto de construções de linguagem de programação em uma linguagem de programação para que seja considerada Turing Complete? Pelo que sei da wikipedia , o idioma precisa suportar a recursão ou, aparentemente, deve ser capaz de executar sem parar. Isso é tudo o que existe?

55 computability  programming-languages  turing-machines  turing-completeness 

Concordo que uma máquina de Turing pode fazer "todos os possíveis problemas matemáticos". Mas isso é porque é apenas uma representação de máquina de um algoritmo: primeiro faça isso, depois faça aquilo, finalmente produza isso. Quero dizer que qualquer coisa solucionável pode ser representada por um algoritmo (porque essa é …

54 algorithms  turing-machines  automata  computation-models 

Na computação quântica, qual é o modelo equivalente de uma máquina de Turing? Está bem claro para mim como os circuitos quânticos podem ser construídos a partir de portas quânticas, mas como podemos definir uma máquina quântica de Turing (QTM) que pode realmente se beneficiar de efeitos quânticos, a saber, …

52 quantum-computing  turing-machines  computation-models 

Em esta resposta é mencionado Uma linguagem regular pode ser reconhecida por um autômato finito. Uma linguagem livre de contexto requer uma pilha e uma linguagem sensível ao contexto requer duas pilhas (o que equivale a dizer que requer uma máquina de Turing completa) . Eu queria saber sobre a …

41 computability  turing-machines  automata  pushdown-automata 

Existem máquinas teóricas que excedem a capacidade das máquinas de Turing em pelo menos algumas áreas?

39 computability  turing-machines  hypercomputation 

Vejo que a maioria das definições do que é ser completo em Turing é tautológica até certo ponto. Por exemplo, se você pesquisar no Google "o que significa ser completo de Turing", você obtém: Um computador é Turing completo se puder resolver qualquer problema que uma máquina de Turing possa …

34 turing-machines  turing-completeness 

Alan Turing propôs um modelo para uma máquina (a Máquina de Turing, TM) que calcula (números, funções, etc.) e provou o Teorema da Halting . Uma TM é um conceito abstrato de uma máquina (ou mecanismo, se você preferir). O Teorema da Parada é um resultado impossível. Um Motor de …

31 turing-machines  halting-problem  entropy 

Eu estava passando pela discussão sobre a questão Como definir máquinas de Turing quânticas? e sinto que a MT quântica e a MT não - determinística são a mesma coisa. As respostas para a outra pergunta não tocam nisso. Esses dois modelos são iguais? Se não, Quais são as diferenças …

30 computability  turing-machines  quantum-computing  nondeterminism 

A tese de Church-Turing afirma que tudo o que pode ser fisicamente calculado, pode ser computado em uma máquina de Turing. O artigo "Computação analógica via redes neurais" (Siegelmannn e Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que uma rede neural de uma determinada forma (as …

29 computability  turing-machines  church-turing-thesis 

Encontrei abaixo a declaração de Alan M. Turing aqui : "A visão de que as máquinas não podem causar surpresas se deve, creio eu, a uma falácia à qual filósofos e matemáticos estão particularmente sujeitos. Essa é a suposição de que, assim que um fato é apresentado à mente, todas …

29 turing-machines  computability  computation-models 

Atualmente, estou lendo um livro sobre algoritmos e complexidade. No momento, estou lendo sobre funções computáveis ​​e não computáveis, e meu livro afirma que há muito mais funções que não são computáveis ​​do que computáveis; na verdade, a maioria é não computável, diz. Em certo sentido, posso aceitar intuitivamente isso, …

29 computability  turing-machines  combinatorics 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

O problema de parada afirma que não há algoritmo que determine se um determinado programa é interrompido. Como conseqüência, deve haver programas sobre os quais não podemos dizer se eles terminam ou não. Quais são os exemplos mais simples (menores) conhecidos de tais programas?

27 computability  turing-machines  halting-problem