Perguntas com a marcação «context-free»

Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares" A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além disso, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Considere a seguinte pergunta natural: Dada uma linguagem finita , qual é a menor gramática livre de contexto que gera L ?eueuLeueuL Nós podemos fazer a pergunta mais interessante, especificando uma sequência de línguas , por exemplo L n é o conjunto de todas as permutações de { 1 , …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Depois de ler a pergunta recente "O complemento de livre de contexto?" {www∣...}{www∣...}\{ www \mid ...\}; Lembrei-me de um problema semelhante que não era capaz de refutar: É livre de contexto?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} Aqui exigimos que as duas cordas sejam …

13 fl.formal-languages  context-free 

Estou considerando a linguagem de todas as fórmulas lógicas proposicionais satisfatórias, SAT (para garantir que esse alfabeto seja finito, codificaríamos letras proposicionais de alguma maneira adequada [editar: as respostas apontaram que a resposta à pergunta pode não ser robusta em codificações variadas, então é preciso ser mais específico - veja …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo, M. Autebert, J. Berstel …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

É 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 

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 

Deixe um número ser dado. Considere o seguinte idioma L n = {nnn .eun= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Em palavras, é o conjunto de cadeias de cópia de comprimento 2 n .eunLnL_n2 n2n2n Considere …

10 fl.formal-languages  automata-theory  grammars  context-free 

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 regular.

9 fl.formal-languages  automata-theory  context-free 

Considere uma gramática arbitrária e livre de contexto sobre o alfabeto . Nas produções desta gramática, adicione duas produções fixas sem contexto : e . Chame a gramática resultante de " aumentada com as produções ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ 0 0 …

9 context-free  decidability 

Qual é a proporção de CFGs ambíguos para todos os CFGs ? Como os dois conjuntos são infinitamente contáveis, a proporção não está bem definida. Mas e a densidade assintótica : limn ↦ ∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac …

9 fl.formal-languages  grammars  context-free 

Gostaria de saber por que, para o reconhecimento de linguagens sem contexto, apenas os autômatos não determinísticos de push-down (DPA = NPDA) funcionam. Por que os autômatos push-down determinísticos (DPDA) não reconhecem esses idiomas?

9 fl.formal-languages  automata-theory  context-free 

Existem permutações e tamanho polinomial (em | w | = n ) gramática livre de contexto que descreve a linguagem finita { w π 1 ( w ) π 2 ( w ) } sobre o alfabeto { 0 , 1 } ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{ 0 , 1 }{0,1}\{0,1\} ATUALIZAÇÃO: …

9 fl.formal-languages  grammars  context-free