Perguntas com a marcação «computation-models»

Deixe uma sequência de entrada ser dada como . Então, se um NFA está atualmente no estado (e leu a entrada até o alfabeto ), antes de ler o próximo símbolo de entrada, o NFA se divide em dois NFA, um no estado outro no , se houver uma transição …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Que eu saiba, não existe um algoritmo de pior caso que resolva o seguinte problema:O(n)O(n)O(n) Dada uma sequência de comprimento consiste em números inteiros finitos, encontre a permutação em que cada elemento é menor ou igual ao seu sucessor.nnn Mas existe uma prova de que não existe, no modelo transdicotômico …

9 complexity-theory  sorting  computation-models  lower-bounds 

Este é o seguimento de outra pergunta aqui , e espero que não seja muito filosófico. Como Raphael apontou em um comentário na minha pergunta anterior, eu realmente não entendo a definição de "computável", mas de acordo com alguns artigos que li, a definição também não é muito clara quando …

9 computability  computation-models 

Gostaria de citar Nielsen & Chuang, Computação Quântica e Informação Quântica, edição do 10º aniversário, página 5 (grifo meu): Uma classe de desafios para a forte tese de Church-Turing vem do campo da computação analógica. Nos anos desde Turing, muitas equipes diferentes de pesquisadores notaram que certos tipos de computadores …

9 computation-models  church-turing-thesis 

Em uma pergunta anterior O que exatamente é um algoritmo? , Perguntei se ter um "algoritmo" que retorna o valor de uma função com base em uma matriz de valores pré-computados era um algoritmo. Uma das respostas que chamou minha atenção foi esta: O exemplo fatorial entra em um modelo …

9 turing-machines  computation-models 

Nos últimos dois anos, construí um computador mecânico alimentado por bolas de gude e fiz dele um jogo. É semelhante ao antigo Digi-Comp II, exceto por duas diferenças principais: As peças são reposicionáveis ​​no quadro. Você pode conectar vários 'bits' juntos usando engrenagens. Quando um desses bits é invertido, ele …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 3 anos . Computadores e linguagens de programação tendem a ser determinísticos e previsíveis. No entanto, …

8 computation-models 

Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados finitos. Eles parecem radicalmente diferentes: As máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas …

8 terminology  computability  reference-request  programming-languages  computation-models 

Qual é a relação e a diferença entre um modelo de programação e um paradigma de programação? (especialmente ao falar sobre o modelo de programação e o paradigma de programação para uma linguagem de programação.) A Wikipedia tenta responder à minha pergunta em 1: Os paradigmas de programação também podem …

8 terminology  programming-languages  computation-models  programming-paradigms 

Estou tentando atacar o TAOCP mais uma vez, dado o peso literal dos volumes que tenho problemas em comprometer seriamente. No TAOCP 1, Knuth escreve, página 8, conceitos básicos: Seja um conjunto finito de letras. Seja o conjunto de todas as seqüências de caracteres em (o conjunto de todas as …

7 formal-languages  turing-machines  computation-models 

Estou participando de uma aula de teoria da computação e meu professor nos disse que um autômato de empilhamento não pode usar estruturas de dados além de uma pilha (como uma fila ou várias pilhas). Por que é que?

7 automata  pushdown-automata  computation-models 

No -calculus, podemos codificar aritmética, números, booleanos e até calcular fatoriais de números, como mostrado aqui .λλ\lambda Existe codificação de "for" ou "while"?

7 lambda-calculus  computation-models 

(Espero que isso não tenha sido solicitado antes, mas não encontrei nada.) No meu entendimento, o não determinismo se aplica apenas a problemas de decisão, devido à exigência da existência de um caminho de aceitação . Na Wikipedia, a classeNPNPNP-easy é definido como solucionável em poltime determinístico, com acesso a …

7 turing-machines  computation-models  nondeterminism 

De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as CFLs são decidíveis …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism