A análise de gramáticas de expressão (PEGs) é inequívoca e possui uma sintaxe superficialmente semelhante ao BNF , mas inclui três diferenças importantes: O operador de escolha ordenada e1 / e2 / e3. O e predicado &. O operador não !. Eu tenho algumas perguntas: Os idiomas reconhecidos...
Problema (tl; dr) Dada uma gramática livre de contexto, , encontre um conjunto de strings que conduzam a toda produção que ela possui pelo menos uma vez.GGGGGG Como e com que rapidez isso pode ser feito? fundo Estou trabalhando em um compilador cujo analisador é implementado com uma ferramenta...
Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração...
Defina . Em outras palavras, é o conjunto de primeiras metades de cadeias de comprimento, mesmo em . Diante disso, se é livre de contexto, ser livre de contexto?FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in...
Para um idioma LLL, definir: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Estou tentando mostrar que as linguagens sem contexto não estão fechadas...
Alguém pediu exemplos de linguagens sem contexto com complementos sem contexto . A primeira resposta diz: O idioma eu1 1= { w w ∣ w ∈ { a , b}∗}eu1 1={WW∣W∈{uma,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}não é livre de contexto (como pode ser mostrado usando o lema de bombeamento; veja aqui ). Seu...
Como você prova que o idioma dos palíndromos pares, ou seja, , não pode ser aceito por um autômato push-down determinado?L = { wWR∣ w ∈{ 0 , 1 }∗}eu={WWR∣W∈{0 0,1 1}∗}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\} Existe alguma maneira geral de provar que uma linguagem livre de...
Fiz uma pergunta pedindo que eu escolhesse o idioma inerentemente ambíguo entre um conjunto de opções. eu1 1= {umanbmcmdn|m , n ≥ 1 } ∪ {umanbncmdm|m , n ≥ 1 }L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} um n dandand eu2=...
De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as...
A primeira frase do artigo da Wikipedia sobre o Teorema de Parikh afirma: "O teorema de Parikh em ciência da computação teórica diz que, se olharmos apenas para o número relativo de ocorrências de símbolos terminais em uma linguagem livre de contexto, sem levar em conta sua ordem, então a...
Estou lendo "Uma Introdução às Línguas Formais e Autômatos", escrito por Peter Linz e, depois de ler os cinco primeiros capítulos, enfrento o problema com gramáticas simples e regulares (especialmente lineares à direita), muito parecidas entre si. Que relação existe entre estes? Qual é a...