Qual das seguintes afirmações está correta? existem condições suficientes e necessárias sobre a regularidade de uma língua, mas ainda não foram descobertas. Não há condição suficiente e necessária sobre a regularidade de um idioma. O lema de bombeamento é uma condição necessária para a...
Considere um sistema de arquivos direcionado a alguns dispositivos incorporados que faz pouco mais do que armazenar arquivos em uma estrutura de diretórios hierárquica. Esse sistema de arquivos carece de muitas das operações com as quais você pode estar acostumado em sistemas como unix e Windows...
Como é possível decidir se possui alguma sequência de dígitos? ππ\pime inspirou a perguntar se a seguinte variação de aparência inocente é computável: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
Sistema de reescrita é um conjunto de regras na forma de . Se aplicarmos essa regra a uma string w , substituiremos qualquer substring A em w por um substring B e vice-versa.A ↔ BUMA↔BA \leftrightarrow BWWwUMAUMAAWWwBBB Dada uma sequência inicial podemos derivar B A A B no sistema com as seguintes...
Um dispensador de bebidas exige que o usuário insira uma moeda ( ) e pressione um dos três botões: solicita uma xícara de chá , o mesmo para café , e solicita um reembolso (ou seja, a máquina devolve a moeda: ). Este dispensador pode ser modelado pelo seguinte processo CCS :ˉ d cháechá ˉ r ˉ...
Um algoritmo de máquina de Turing em tempo polinomial é considerado eficiente se seu tempo de execução, na pior das hipóteses, estiver limitado por uma função polinomial no tamanho da entrada. Estou ciente da forte tese de Church-Turing: Qualquer modelo razoável de computação pode ser...
Isso pode estar relacionado à ciência cognitiva computacional, mas estou curioso para saber como o processo seguido por algoritmos comuns de busca de caminhos (como A * ) se compara ao processo que os humanos usam em diferentes situações de busca de caminhos (com as mesmas informações). Esses...
Eu tenho o seguinte idioma {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estou tentando determinar em qual classe de idioma Chomsky se encaixa. Eu posso ver como isso pode ser feito usando uma gramática sensível ao contexto, então eu sei que é pelo menos...
Atualmente, estou aprendendo o cálculo lambda e estava pensando nos dois tipos diferentes de escrita de um termo lambda. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Existe alguma diferença no significado ou na maneira como você aplica a redução beta, ou essas...
Se bem entendi, a NFA tem o mesmo poder expressivo que as expressões regulares. Freqüentemente, é fácil ler expressões regulares equivalentes do NFA: você traduz ciclos para estrelas, junções como alternativas e assim por diante. Mas o que fazer neste caso: [ fonte ] Os ciclos sobrepostos...
O algoritmo simplex caminha avidamente nos cantos de um politopo para encontrar a solução ideal para o problema de programação linear. Como resultado, a resposta é sempre um canto do politopo. Os métodos de pontos internos percorrem o interior do politopo. Como resultado, quando um plano inteiro do...
Isso é precursor da minha outra pergunta mais avançada sobre inspeção de pilha. O Stack Inspection é um mecanismo de segurança introduzido na JVM para lidar com o código em execução originário de locais com diferentes níveis de confiança. Esta questão visa encontrar uma descrição simples de sua...
Eu tenho uma tarefa de casa em que tenho criticado há algum tempo e gostaria de receber qualquer dica. Trata-se de escolher um problema conhecido, cuja integridade do NP é comprovada, e construir uma redução desse problema para o seguinte problema, que chamarei DGD (diagnóstico de gráfico...
Um Fibonnaci Heap suporta as seguintes operações: insert(key, data) : adiciona um novo elemento à estrutura de dados find-min() : retorna um ponteiro para o elemento com a chave mínima delete-min() : remove o elemento com a chave mínima delete(node) : exclui o elemento apontado por...
Esta é uma pergunta do dever de casa do livro de Udi Manber. Qualquer dica seria legal :) Devo mostrar que: n ( log3( N ) )5= O ( n1.2)n(log3(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Eu tentei usar o Teorema 3.1 do livro: c > 0 a > 1f( N )c= O ( af( N ))f(n)c=O(af(n))f(n)^c =...
A idéia principal de k-vizinho mais próximo leva em conta os pontos mais próximos e decide a classificação dos dados por maioria de votos. Nesse caso, não deve haver problemas nos dados dimensionais mais altos, porque métodos como o hash sensível à localidade podem encontrar com eficiência os...
Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo> :) Agora, estou tentando estender uma solução baseada em restrições para o problema de inferir tipos, com base em uma implementação simples no EOPL (Friedman e...
Suponha que eu sou dado um conjunto finito de pontos no plano, e pediu para desenhar um duas vezes diferenciável curva C ( P ) através do p i 's, de tal modo que o seu perímetro seja tão pequena quanto possível. Supondo que p i = ( x i , y i ) e x i < x i + 1 , posso formalizar esse problema...
Minha pergunta é para aqueles que se preocupam com algoritmos de biologia computacional. Vou fazer um curso de bioinformática neste outono; o problema, no entanto, é que eu tenho muito pouco conhecimento em biologia e química para me sentir preparado para esse ciclo de leituras (eu era bastante...
Na discussão em torno dessa questão , Gilles menciona corretamente que qualquer prova de correção de um algoritmo que utiliza matrizes deve provar que não há acesso a matrizes fora dos limites; dependendo do modelo de tempo de execução, isso causaria um erro de tempo de execução ou acesso a...