Ciência da Computação

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 

Fui designado para um exercício na minha universidade. Levei para casa e tentei programar um algoritmo para resolvê-lo, era algo relacionado a gráficos, encontrando componentes conectados, eu acho. Então eu fiz a coisa mais trivial que me veio à mente e depois mostrei ao meu professor. Após uma breve observação, …

30 algorithms  algorithm-analysis  education  applied-theory 

Estou tentando explicar o básico do Bitcoin para meus pais. Um dos componentes principais do bitcoin é assinar transações para garantir que sua identidade não possa ser representada e, portanto, a necessidade de explicar uma cifra assimétrica simplificada. O que é uma cifra assimétrica extremamente simples que posso usar como …

30 cryptography 

Existem muitas definições on-line sobre o que é uma gramática livre de contexto, mas nada que eu encontre satisfaça meu principal problema: De que contexto é livre? Para investigar, pesquisei no Google "gramática sensível ao contexto", mas ainda não consegui encontrar o que era o "contexto". Alguém pode explicar a …

30 terminology  context-free  formal-grammars 

Basicamente, eu estou ciente de três fundamentos para a matemática Teoria de conjuntos Teoria dos tipos Teoria das categorias Então, de que maneiras as linguagens de programação e os fundamentos da matemática estão relacionados? EDITAR A pergunta original era "Linguagens de programação baseadas em fundamentos da matemática" com o paragarfo …

30 programming-languages  history  type-theory  category-theory 

Eu estava lendo o CLRS e disse: Se fatorar números inteiros grandes for fácil, é fácil quebrar o sistema de criptografia RSA. O que faz sentido para mim porque, com o conhecimento de e , é fácil criar a chave secreta que é o conhecimento da chave pública. No entanto, …

30 cryptography 

O que é uma boa metáfora ou exemplo para explicar a um inglês importante a diferença entre a ciência clássica da computação e "ser bom em usar o MS-Windows" Ciência da Computação programação de computadores usando computadores 3 coisas profundamente diferentes. A maioria das pessoas não tem idéia do que …

30 terminology  education 

O FRP trata de transmitir eventos e comportamentos através de funções puras. O modelo do ator - pelo menos, como implementado no Akka - é sobre o fluxo de mensagens imutáveis ​​(que podem ser consideradas eventos discretos) através de objetos potencialmente impuros, chamados atores. Então, na superfície, eles parecem relacionados. …

30 distributed-systems  functional-programming  programming-paradigms 

É um fato conhecido que toda fórmula LTL pode ser expressa por um autômato Büchi . Mas, aparentemente, os autômatos Büchi são um modelo mais poderoso e expressivo. Ouvi em algum lugar que os autômatos Büchi são equivalentes a μ- cálculo de tempo linear (ou seja, μ- cálculo com pontos …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Entendo que, se existem 2 ou mais árvores de derivação esquerda ou direita, a gramática é ambígua, mas não consigo entender por que é tão ruim que todo mundo queira se livrar dela.

30 compilers  ambiguity 

O teorema de Rice nos diz que as únicas propriedades semânticas das Máquinas de Turing (ou seja, as propriedades da função computada pela máquina) que podemos decidir são as duas propriedades triviais (ou seja, sempre verdade e sempre falsas). Mas existem outras propriedades das máquinas de Turing que não são …

30 computability  undecidability 

Ao implementar um dicionário ('Desejo procurar dados do cliente por seus IDs de cliente'), as estruturas de dados típicas usadas são tabelas de hash e árvores de pesquisa binária. Eu sei, por exemplo, que a biblioteca C ++ STL implementa dicionários (eles os chamam de mapas) usando árvores de pesquisa …

30 algorithms  data-structures  binary-trees  hash-tables 

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 

Intuitivamente, "árvores equilibradas" devem ser árvores nas quais as subárvores esquerda e direita em cada nó devem ter "aproximadamente o mesmo" número de nós. Obviamente, quando falamos de árvores vermelhas-pretas * (ver definição no final) sendo equilibradas, na verdade queremos dizer que elas são equilibradas em altura e, nesse sentido, …

30 data-structures  binary-trees  search-trees 

Entendo a prova da indecidibilidade do problema da parada (dada, por exemplo, no livro de Papadimitriou), com base na diagonalização. Embora a prova seja convincente (eu entendo cada etapa dela), não é intuitivo para mim no sentido de que não vejo como alguém a derivaria, partindo apenas do problema. No …

30 computability  proof-techniques  undecidability  halting-problem  intuition