Fiquei com a impressão de que nossos computadores, por serem finitos, não são mais poderosos que as máquinas de estado finito (extraordinariamente grandes). Entretanto, as Máquinas de Turing com Limite Linear também são finitas, mas parece que as Linguagens Regulares são estritamente um subconjunto...
Então, considerando dois DFAs, o problema de descobrir se eles geram o mesmo idioma é um problema Decidable? Eu já sei que a Igualdade de duas CFL não é Decidable mas e a igualdade de dois DFAs? considerando que a maioria dos problemas com os DFAs é decidível, isso também é...
Por isso, atualmente estou estudando o livro HoTT com algumas pessoas. Afirmei que a maioria dos tipos indutivos que veremos podem ser reduzidos a tipos que contêm apenas tipos de função dependentes e universos, tomando o tipo de recorrente como inspiração para o tipo equivalente. Comecei a esboçar...
Nesta pergunta, perguntei qual a diferença entre conjunto e tipo . Essas respostas foram realmente esclarecedoras (por exemplo, @AndrejBauer), portanto, na minha sede de conhecimento, me submeto à tentação de perguntar o mesmo sobre categorias: Toda vez que leio sobre a teoria das categorias (que...
n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i<j<k≤n1≤i<j<k≤n1\leq
Recebi o seguinte problema durante uma entrevista: Dá uma string que contém uma mistura de parênteses (não colchetes ou chaves - somente parênteses) com outros caracteres alfanuméricos, identifica todas as parênteses que não têm parênteses correspondentes. Por exemplo, na cadeia ") (ab))", os...
Eu estava aprendendo sobre a primeira pesquisa de abrangência e surgiu uma pergunta em minha mente: por que o BFS é assim chamado? No livro Introduction to Algorithms by CLRS , li o seguinte motivo para isso: A pesquisa em largura pela primeira vez tem esse nome porque expande a fronteira entre...
Essa pergunta explica basicamente que eles podem, mas não mostra nenhum exemplo de haver duas árvores diferentes com o mesmo percurso de pré-encomenda. Também é mencionado que a travessia em ordem de duas árvores diferentes pode ser a mesma, embora estruturalmente diferentes. Existe um exemplo...
Eu preciso criar um algoritmo recursivo para ver se uma árvore binária é uma árvore de pesquisa binária e contar quantas ramificações completas existem (um nó pai com nós filhos esquerdo e direito) com uma variável de contagem global assumida. Esta é uma atribuição para minha classe de estruturas...
Na rede de computadores e no design de computadores de cluster de alto desempenho, a topologia de rede refere-se ao design do modo como os nós são conectados por links para formar uma rede de comunicação. As topologias de rede comuns incluem malha, toro, anel, estrela, árvore etc. Essas topologias...
No Problema de Correspondência Estável , afirma-se que podem existir casos em que a lista de homens pode se contentar com suas decisões, mas a lista de f não pode quando o algoritmo é executado com propostas de homens.mmmfff Pelo que li, ocorre uma correspondência instável quando e f se preferem...
O agendamento de dois níveis é útil quando um sistema está executando mais processos do que cabem na RAM: um agendador de nível inferior alterna entre processos residentes e um agendador de nível superior alterna entre grupos de processos. Não encontro outra menção ao agendamento de dois níveis...
Originalmente em math.SE, mas sem resposta lá. Considere o seguinte algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while onde u, v e n são números inteiros e a operação de divisão é divisão inteira....
Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que...
Seja o conjunto de terminais e o conjunto de símbolos não terminais de alguma gramática livre de contexto .ΣΣ\SigmaNNNGGG Digamos que eu tenho uma string tal que que e são as formas de sentenciais .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in...
OK, então aqui está uma pergunta de um teste passado na minha aula de Teoria da Computação: Um estado inútil em uma TM é aquele que nunca é inserido em nenhuma sequência de entrada. Deixe Prove que \ mathrm {USELESS} _ {\ mathrm {TM}} é indecidível.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a...
Escreva para a expansão decimal de (sem avanço ). Deixe e ser inteiros, com . Considere o idioma das expansões decimais dos múltiplos de mais uma constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} é regular?...
Na teoria da codificação, 'quão bom é um código' significa quantos erros de canal podem ser corrigidos, ou melhor, o nível máximo de ruído com o qual o código pode lidar. Para obter códigos melhores, os códigos são projetados usando um alfabeto grande (em vez de um código binário). E então, o...
Estou tentando entender o que há de errado com a seguinte prova da recorrência a seguir T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
Em um rastreador de raios Whitted, cada interseção objeto-raio gera um raio transmitido (se o objeto era translúcido), um raio refletido e um raio sombrio. O raio das sombras contribui com o componente de iluminação direta. Mas o que acontece se o raio das sombras cruzar um objeto transparente? O...