Depois de ler várias fontes, ainda estou confuso sobre os threads no nível do usuário e do kernel. Em particular: Os encadeamentos podem existir no nível do usuário e no nível do kernel Qual é a diferença entre o nível do usuário e o kernel?
Em seu artigo seminal de 1987, Dana Angluin apresenta um algoritmo polinomial de tempo para aprender um DFA a partir de consultas de membros e pesquisas de teoria (contra-exemplos a um DFA proposto). Ela mostra que, se você está tentando aprender um DFA mínimo com estados, e seu maior exemplo de...
Existe uma diferença fundamental entre a programação dinâmica de cima para baixo e de baixo para cima? Em particular, existe um problema que pode ser resolvido de baixo para cima, mas não de cima para baixo? Ou a abordagem de baixo para cima é apenas um desenrolamento da recorrência na abordagem...
Existem nnn caixas e mmm tipo de bolas. O iii th bin tem rótulos ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , que é o número esperado de bolas do tipo jjj . Você começa com bjbjb_j bolas do tipo jjj . Cada esfera de tipo jjj tem peso wjwjw_j , e deseja colocar as bolas dentro dos recipientes de...
Desculpe antecipadamente se esta pergunta parece idiota ... Tanto quanto eu sei, a construção de um algoritmo usando programação dinâmica funciona da seguinte maneira: expressar o problema como uma relação de recorrência; implementar a relação de recorrência por meio de memorização ou por uma...
Dijkstra, em seu ensaio Sobre a crueldade de realmente ensinar ciência da computação , faz a seguinte proposta para um curso introdutório de programação: Por um lado, ensinamos o que parece ser o cálculo predicado, mas o fazemos de maneira muito diferente dos filósofos. Para treinar o...
Edição: Agora eu fiz uma pergunta semelhante sobre a diferença entre categorias e conjuntos. Toda vez que leio sobre teoria dos tipos (que reconhecidamente é bastante informal), não consigo entender realmente como ela difere da teoria dos conjuntos, concretamente . Entendo que existe uma...
Na minha turma, um aluno perguntou se todos os autômatos finitos poderiam ser desenhados sem cruzar as bordas (parece que todos os meus exemplos). Claro que a resposta é negativa, o autômato óbvio para a linguagem {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid...
Estou planejando ministrar um curso de inverno sobre um número variável de tópicos, um dos quais serão compiladores. Agora, eu me deparei com esse problema enquanto pensava em atribuições a serem entregues ao longo do trimestre, mas ele me deixou perplexo, para que eu pudesse usá-lo como...
Se algo é simples, deve ser completamente explicável com algumas palavras. Isso pode ser feito para o cálculo λ: O cálculo λ é uma gramática sintática (basicamente uma estrutura) com uma regra de redução (o que significa que um procedimento de busca / substituição é aplicado repetidamente a...
Eu estava lendo sobre Iota e Jot e achei esta seção confusa: Diferentemente de Iota, onde a árvore sintática de uma sequência pode ramificar-se à esquerda ou à direita, a sintaxe Jot é ramificada à esquerda de maneira uniforme. Como resultado, o Iota é estritamente livre de contexto, mas o Jot é...
Estou estudando CPUs e sei como ele lê um programa da memória e executa suas instruções. Também entendo que um sistema operacional separa programas em processos e depois alterna entre eles tão rapidamente que você pensa que eles estão sendo executados ao mesmo tempo, mas, na verdade, cada programa...
Este programa de 579 bits no Cálculo lambda binário possui um status de parada
Quando um computador armazena uma variável, quando um programa precisa obter o valor da variável, como o computador sabe onde procurar na memória o valor dessa
Eu nem sou estudante de CS, então essa pode ser uma pergunta estúpida, mas por favor, tenha paciência comigo ... Na era pré-computador, só podemos implementar uma estrutura de dados de matriz com algo como uma matriz de gavetas. Como é necessário localizar a gaveta com o índice correspondente...
Estou procurando ajuda para entender o algoritmo de detecção de ciclo de Floyd. Passei pela explicação na wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Eu posso ver como o algoritmo detecta o ciclo em O (n) tempo. No entanto, não consigo visualizar o fato de que, uma...
Portanto, o problema de decisão do TSP (problema do vendedor ambulante) é NP completo . Mas não entendo como posso verificar se uma determinada solução para o TSP é de fato ideal no tempo polinomial, já que não há como encontrar a solução ideal no tempo polinomial (o que ocorre porque o problema...
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 Carnot (CE) é um...
Por exemplo, se o computador 10111100armazenou em um byte específico de RAM, como o computador sabe interpretar esse byte como um número inteiro, caractere ASCII ou algo mais? Os dados de tipo são armazenados em um byte adjacente? (Eu não acho que seria esse o caso, pois isso resultaria no uso do...
Por que os computadores usam o sistema de números binários (0,1)? Por que eles não usam o sistema numérico ternário (0,1,2) ou qualquer outro sistema