Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas em outros...
Estou procurando um texto de referência sobre teoria de grafos aplicada e algoritmos de grafos. Existe um texto padrão usado na maioria dos programas de ciência da computação? Caso contrário, quais são os textos mais respeitados no campo? Eu tenho Cormen et
Eu sou novo na teoria da complexidade e quero saber o que é a teoria da complexidade estrutural? quais são os problemas que os teóricos tentam resolver nesse campo e qual é o seu futuro? Da wikipedia: A teoria da complexidade estrutural ou simplesmente a complexidade estrutural é o estudo de...
Estou particularmente interessado em soluções para o problema que a pesquisa encapsulada pode depender da ordem da avaliação. De acordo com [1], a pesquisa encapsulada no PAKCS depende da ordem da avaliação, enquanto no MCC, não, mas seu uso requer conhecimento da implementação do compilador e não...
Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de...
Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e...
Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica...
Esses slides de aula esboçam uma prova de que não pode ser aceito por nenhum Empurrão Determinístico Autômato. Infelizmente, os slides não fornecem referências sobre a origem da prova.L = {umanbn∣ n ≥ 0 } ∪ {umanb2 n∣ n ≥ 0 }eu={umanbn∣n≥0 0}∪{umanb2n∣n≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{...
Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado...
Sou Ph.D. iniciante estudante de ciência da computação, e estou tentando entender alguns trabalhos clássicos sobre teoria dos jogos, como os de Nash, Kalai e Smorodinsky. Mas acho difícil entender as partes matemáticas. Parece que esses trabalhos foram escritos por matemáticos, para...
Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de cardinalidade mínima....
Recentemente, tenho lidado com um problema que me levou às seguintes perguntas: Existe um bom algoritmo para enumerar todas as correspondências máximas / perfeitas em um gráfico geral? Existe um bom algoritmo para encontrar todas as correspondências máximas / perfeitas em um gráfico geral? Esses...
Eu sou um programador autodidata e tenho codificado por 8 anos. Devido a essa experiência, eu já estou muito familiarizado com os princípios de programação (como declarações if, classes, polimorfismo etc.). No entanto, nunca aprendi "ciência da computação", apenas programação. Quais são alguns...
A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de...
Houve uma boa quantidade de pesquisas sobre algoritmos de exclusão mútua - por exemplo, muitas delas são apresentadas em livros clássicos como The Art of Multiprocessor Programming , onde um capítulo inteiro é dedicado a eles. Pergunto-me quais são as situações práticas em que alguém pode precisar...
Existem aplicações do mundo real do Steiner Tree Problem (STP)? Entendo que o design do chip VSLI é uma boa aplicação do STP. Existem outros exemplos de problemas do mundo real que as pessoas possam sugerir que poderiam ser formulados em termos do STP? Antecedentes: Estou iniciando minha pesquisa...
Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da
Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de...
Nos tipos dependentes, a unificação de padrões de Miller é usada para resolver um fragmento decidível da unificação de ordem superior. Isso permite que idiomas de tipo dependente contenham metavariáveis ou argumentos implícitos. Existem muitos trabalhos que descrevem, dado um problema de...