Seja um alfabeto finito. Para um determinado idioma L ⊆ A * o monoid sintática M ( L ) é uma noção bem conhecida na teoria da linguagem formal. Além disso, um monóide M reconhece uma linguagem L se existir um morfismo φ : A ∗ → M tal que L = φ - 1 ( φ ( L ) ) ) .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast}...
Se existem resultados na resolução de problemas de linguagens formais usando análise matemática, matemática contínua. Por exemplo, resolvendo o problema de não vazio de interseção para uma linguagem livre de contexto e uma linguagem
Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de...
Sabemos que todos os autômatos push-down são representáveis usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja,...
Escreva como o mapa de Parikh --ie, , onde é o número de vezes que aparece em . É sabido que, para um CFL , é um conjunto semilinear (esse é o teorema de Parikh). Outras coisas interessantes são conhecidas, mas não encontrei nada sobre o mapa de Parikh de uma linguagem sensível ao contexto. Em...
Estou escrevendo um verificador de modelo de brinquedo e estou no ponto em que é hora de implementar a tradução de autômato LTL para Buchi. Por várias razões óbvias, desejo que o algoritmo seja simples :) por exemplo, quero que o código permaneça extremamente claro e conciso pelo maior tempo...
Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de...
Relacionado a uma pergunta recente ( limites no tamanho do menor NFA para L_k-distinct ) Noam Nisan solicitou um método para fornecer um limite inferior melhor para o tamanho de um NFA do que o obtido nos limites da complexidade da comunicação. O que se segue é uma versão especial desse...
Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no
A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam...