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

Aprendemos sobre a classe de linguagens livres de contexto CFLCFL\mathrm{CFL} . É caracterizado por gramáticas livres de contexto e autômatos de empilhamento, portanto é fácil mostrar que um determinado idioma é livre de contexto. Como mostro o oposto? Meu AT foi firme em afirmar que, para fazer isso, teríamos que …

88 formal-languages  context-free  proof-techniques  reference-question 

Lembro-me de me deparar com a seguinte pergunta sobre uma linguagem que supostamente é livre de contexto, mas não consegui encontrar uma prova do fato. Talvez eu tenha se lembrado errado da pergunta? Enfim, aqui está a pergunta: Mostre que o idioma é livre de contexto.L = { x y| …

43 formal-languages  context-free 

Existem muitas definições on-line sobre o que é uma gramática livre de contexto, mas nada que eu encontre satisfaça meu principal problema: De que contexto é livre? Para investigar, pesquisei no Google "gramática sensível ao contexto", mas ainda não consegui encontrar o que era o "contexto". Alguém pode explicar a …

30 terminology  context-free  formal-grammars 

Eu estudo os compiladores há algum tempo e tenho pesquisado o que significa "contexto" na gramática e o que significa que a gramática é "livre de contexto", mas sem resultado. Então, alguém pode ajudar com isso?

29 terminology  context-free  formal-grammars 

Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Existem muitas técnicas para provar que uma linguagem não é livre de contexto, mas como posso provar que uma linguagem é livre de contexto? Que técnicas existem para provar isso? Obviamente, uma maneira é exibir uma gramática sem contexto para o idioma. Existem técnicas sistemáticas para encontrar uma gramática livre …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

O seguinte contexto de linguagem é livre? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Conforme apontado por sdcvvc, uma palavra nesse idioma também pode ser descrita como a concatenação de duas palavras do mesmo comprimento …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Meu problema é como posso provar que uma gramática é inequívoca? Eu tenho a seguinte gramática: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Dada uma gramática livre de contexto G, existe um autômato de empilhamento não determinístico N que aceita exatamente o idioma que G aceita. (e vice-versa) Também pode existir um autômato de empilhamento determinístico D que aceite exatamente o idioma que G também aceita. Depende da gramática. Por qual algoritmo nas …

22 automata  context-free  pushdown-automata 

Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente enumeráveis), não faz diferença para o poder do …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

As linguagens sem contexto não são fechadas sob complemento, sabemos disso. Tanto quanto eu entendo, linguagens sem contexto que são um subconjunto de para algumas letras estão fechadas no complemento (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b Aqui está o meu argumento. Cada linguagem CF tem uma imagem Parikh semi-linear . Conjuntos semilineares são fechados sob …

20 formal-languages  reference-request  context-free  closure-properties 

Vamos considerar duas gramáticas livres de contexto e e fazer a seguinte pergunta: É , isto é, são as duas gramáticas equivalente?G1G1G_1G2G2G_2L ( G1) = L ( G2)eu(G1)=eu(G2)L(G_1) = L(G_2) Em geral, esse problema é indecidível. No entanto, se ambos e lineares esquerda são (ou lineares direita) gramáticas, então o …

19 formal-languages  context-free  formal-grammars 

Uma gramática livre de contexto pode incluir "estados mortos" de um autômato, como G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? As regras de produção e se sempre e nunca geram uma palavra. Isso é permitido ou DEVE as regras de …

18 context-free  automata  formal-grammars 

Existe um algoritmo / procedimento sistemático para testar se uma linguagem é livre de contexto? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é livre de contexto ou não . Imagine que estamos escrevendo um serviço da Web para …

18 algorithms  formal-languages  context-free  decision-problem 

Gostaria de saber se isso é possível, já que . Portanto, um PDA que pode distinguir uma palavra do resto de pode aceitá-la , o que me parece contraditório. w ∈ { um n b n c n | n ≥ 0 } { um * b * c * …

16 formal-languages  automata  context-free  pushdown-automata