A definição do conjunto de operações permitidas usadas para computação e seus respectivos custos. Alguns exemplos de modelos incluem máquinas de Turing, funções recursivas, cálculo lambda e sistemas de produção.
Eu tenho lido recentemente sobre o cálculo do Lambda, mas estranhamente não consigo encontrar uma explicação do motivo pelo qual é chamado "Lambda" ou de onde vem a expressão. Alguém pode explicar as origens do
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...
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...
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,...
Ao considerar como nosso programa deve ser compatível com vários segmentos, minha equipe ficou intrigada com a possibilidade de algo que absolutamente não pode ser feito em uma CPU de núcleo único. Eu afirmei que o processamento gráfico requer processamento paralelo em massa, mas eles argumentam...
A complexidade do algoritmo é projetada para ser independente dos detalhes de nível inferior, mas é baseada em um modelo imperativo, por exemplo, o acesso à matriz e a modificação de um nó em uma árvore levam o tempo O (1). Este não é o caso em linguagens funcionais puras. A lista Haskell leva...
Classicamente, existem três maneiras populares de pensar sobre computação: máquina de Turing, circuitos e cálculo lambda (eu uso isso como uma captura para a maioria das visualizações funcionais). Todas as três foram formas proveitosas de pensar sobre diferentes tipos de problemas, e campos...
Que diferenças e relações existem entre algoritmos aleatórios e algoritmos não determinísticos? Da Wikipedia Um algoritmo aleatório é um algoritmo que emprega um grau de aleatoriedade como parte de sua lógica. O algoritmo normalmente usa bits aleatoriamente uniformes como uma entrada auxiliar...
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 as conseqüências...
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. Uma função com um tipo de retorno de...
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....
Por recomendação, estou reeditando isso no Stack Overflow . Recentemente, estive pensando sobre a questão seguinte. Considere o código para um "Olá, mundo!" programa: main() { printf("Hello World"); } Agora, quase qualquer alteração nesse código o tornará completamente inútil; na verdade,...
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...
Estou procurando uma explicação sobre como alguém poderia provar que dois modelos de computação são equivalentes. Eu tenho lido livros sobre o assunto, exceto que as provas de equivalência são omitidas. Eu tenho uma idéia básica sobre o que significa dois modelos de computação serem equivalentes (a...
Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente...
Eu sei que os computadores quânticos são capazes de processar uma superposição de todos os estados possíveis com uma única passagem pela lógica. Parece ser o que as pessoas apontam como sendo o que torna os computadores quânticos especiais ou úteis. No entanto, após o processamento das entradas...
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...
Quais operações precisam ser executadas para realizar qualquer cálculo analógico arbitrário ? Adição, subtração, multiplicação e divisão seriam suficientes? Além disso, alguém sabe exatamente quais problemas são tratáveis usando computação analógica, mas não com...
Ouvi dizer que a interação do lema é mais poderosa que os algoritmos de Peter Wegner . A base da ideia é que uma Máquina de Turing (clássica) não pode lidar com interação, ou seja, comunicação (entrada / saída) com o mundo / ambiente externo. Como isso pode ser assim? Como algo pode ser mais...
Ao desenvolver algoritmos na computação quântica, notei que existem dois modelos principais nos quais isso é feito. Alguns algoritmos - como para o problema da árvore Hamiltonian NAND (Farhi, Goldstone, Guttman) - trabalho de concepção de um hamiltoniano e algum estado inicial e, em seguida,...