Perguntas com a marcação «fl.formal-languages»

Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se alguém conhece um bom livro ou …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Alguém pode fornecer um exemplo de dois autômatos não determinísticos mínimos (NFA) equivalentes (reconhecendo a mesma linguagem) que não são isomórficos?

12 fl.formal-languages  automata-theory 

Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Estou procurando um idioma L com as seguintes propriedades: L não deve ser livre de contexto. O complemento de L não deve ser livre de contexto. (Tudo o que você vê nos livros didáticos como exemplos principais de linguagens sem contexto parece falhar neste segundo requisito.) Por exemplo, eu sei …

12 fl.formal-languages  automata-theory 

Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior: Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i …

12 computability  fl.formal-languages 

Eu mudei essa pergunta do stackoverflow onde o id não obteve respostas. Tivemos uma pergunta semelhante se o JSON é regular : JSON e XML são freqüentemente chamados de linguagens livres de contexto - ambos são especificados principalmente por uma gramática formal no EBNF. No entanto, isso é válido apenas …

12 fl.formal-languages 

É sabido que o complemento de é livre de contexto. Mas e o complemento de ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

Um conjunto de palavras sobre um alfabeto finito é livre de prefixo se não houver duas palavras distintas em que um seja o prefixo do outro. A questão é: Qual é a complexidade de verificar se um idioma comum fornecido como NFA contém um subconjunto infinito sem prefixos? Resposta (devido …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

Seja uma linguagem ef : function ⋆ × Σ ⋆ → Σ ⋆ uma função em dois parâmetros com a propriedade que para todos x e y , f retorna um elemento de L se e somente se x e y forem elementos de L :euLLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffeuLLxxxyyyLLL …

11 reference-request  fl.formal-languages 

Um sistema de adição de vetores (VAS) é um conjunto finito de ações . é o conjunto de marcações . Uma execução é uma palavra não vazia de marcações r . Se essa palavra existe, dizemos que é acessível a partir de .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m …

11 fl.formal-languages  decidability 

Considere o seguinte problema: Dadas duas cadeias x, y, decida se existe um homomorfismo da cadeia f tal que f (x) = y. É fácil mostrar que este problema está em . Há outras coisas que podemos dizer sobre esse problema? É por exemplo em C O N P , …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Entendo que as seguintes afirmações são verdadeiras: Às vezes, duas derivações distintas de uma sequência em um determinado CFG podem atribuir a mesma árvore de análise à sequência. Quando existem derivações de alguma sequência em um determinado CFG que atribuem diferentes árvores de análise, o CFG é ambíguo. Algumas linguagens …

11 fl.formal-languages  regular-language  context-free 

EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Esta pergunta está relacionada a uma pergunta recente de Janoma . fundo Na programação restrição, um normal global de restrição ao longo de um domínio é um par (S, M) com s um tuplo de variáveis (o escopo) e M um DFA sobre o domínio D . Uma atribuição \ …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

O seguinte problema é decidível: Dada uma gramática livre de contexto , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing O seguinte problema é indecidível: Dada uma gramática livre de contexto , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Existe uma caracterização de linguagens livres de …

11 computability  fl.formal-languages