Na teoria dos autômatos, todos nós lemos autômatos como autômatos finitos, desde o início. O que eu quero saber é: por que os autômatos são finitos? Para ser claro, o que é um autômato finito - o alfabeto, a linguagem, as seqüências de caracteres feitas com expressões regulares ou o quê? E há (em...
Suponha que eu tenha uma lista de funções, por exemplo nloglog(n),2n,n!,n3,nlnn,…nloglog(n),2n,n!,n3,nlnn,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Como os classifico assintoticamente, ou seja, após a relação definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g)...
Como educador de CS em nível universitário, a questão de qual linguagem de programação ensinar no primeiro curso de programação geralmente é discutida. Existem milhares de idiomas para escolher e muita febre religiosa (ou fevour) apoiando um campo de idiomas em detrimento de outro. Todo esse viés...
Entendo que a "estrutura" dos dados é totalmente dependente da Álgebra Booleana, mas: Por que os dados são considerados uma entidade matemática discreta, e não contínua? Relacionado a isso: Quais são os inconvenientes ou invariantes que são violados na estruturação de dados como uma...
Eu sou novo em entender algoritmos de ciência da computação. Entendo o processo da pesquisa binária, mas estou tendo um pequeno mal-entendido com sua eficiência. Em um tamanho de elementos, seriam necessários, em média, etapas para encontrar um elemento específico. Tomando o logaritmo da base 2 de...
Aqui está o pseudocódigo padrão para a primeira pesquisa de largura: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Aqui pushe popsão...
De acordo com a Wikipedia : A entropia de Shannon mede as informações contidas em uma mensagem em oposição à parte da mensagem que é determinada (ou previsível). Exemplos deste último incluem redundância na estrutura da linguagem ou propriedades estatísticas relacionadas às frequências de...
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...
Eu sei que Idris tem tipos dependentes, mas não está completo. O que isso não pode fazer ao abrir mão da integridade de Turing, e isso está relacionado a ter tipos dependentes? Acho que essa é uma pergunta bastante específica, mas não sei muito sobre tipos dependentes e sistemas de tipos...
Muitos de nós aprendemos programação usando linguagens de programação "textuais", como Basic, C / C ++ e Java. Eu acredito que é mais natural e eficiente para os humanos pensarem visualmente. A programação visual permite que os desenvolvedores escrevam programas manipulando elementos gráficos. Eu...
A programação linear (LP) está em P e a programação inteira (IP) é NP-hard. Mas como os computadores só podem manipular números com precisão finita, na prática um computador está usando números inteiros para programação linear. Por esse motivo, LP e IP não deveriam estar na mesma classe de...
O ( n lnn )O(nlnn)O(n \ln n) Apenas um lembrete, no local significa que ele usa a matriz transmitida e o algoritmo de classificação só pode usar espaço extra constante. Estável significa que os elementos com a mesma chave aparecem na mesma ordem na matriz classificada como no original. O ( n...
Como as linguagens do Tipo 3 da Hierarquia Chomsky podem ser reconhecidas por uma máquina de estado sem memória externa (por exemplo, um autômato finito), o Tipo 2 por uma máquina de estado com uma única pilha (por exemplo, um autômato push-down) e o Tipo 0 por uma máquina de estado com duas pilhas...
Pode parecer uma pergunta estúpida, mas estou realmente curioso para saber como um computador sabe disso ? Além disso, como um computador sabe que a ordem do número inteiro é 1 , 2 , 3 , 4 , 5 , … e o alfabeto é A, B, C, D, ...? Está em algum lugar armazenado no hardware ou o sistema operacional...
Existem problemas conhecidos em (e não em ) que não são completos? Meu entendimento é que atualmente não há problemas conhecidos, mas não foi descartada como uma possibilidade. P N PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Se houver um problema (e não ), mas não , isso seria resultado de nenhum...
Um colega meu e eu acabamos de fazer algumas anotações de um de nossos professores. As notas indicam que existem tarefas que são possíveis de resolver em tempo polinomial (estão na classe de PF), mas NÃO são verificáveis em tempo polinomial (NÃO são da classe de NPF). Para elaborar sobre essas...
Gostaria de saber se existe uma maneira padrão de medir a "ordenação" de uma matriz? Uma matriz com o número médio de inversões possíveis seria considerada maximamente sem classificação? Com isso, quero dizer que é basicamente o mais longe possível de ser classificado ou...
Alguém pode sugerir-me um algoritmo de tempo linear, que recebe como entrada um dirigido acíclico gráfico e dois vértices e e devolve o número de caminhos simples de a em . Eu tenho um algoritmo no qual executarei um DFS (Depth First Search), mas se o DFS encontrar , ele não mudará a cor (de...
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...
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...