Perguntas com a marcação «parsers»

As pessoas costumam dizer que os analisadores LR (k) são mais poderosos que os analisadores LL (k) . Essas declarações são vagas na maioria das vezes; em particular, devemos comparar as classes para um fixo ou a união sobre todos os k ? Então, como está realmente a situação? Em …

67 formal-languages  formal-grammars  parsers  reference-question 

EPAL, o idioma dos palíndromos pares, é definido como o idioma gerado pela seguinte gramática inequívoca e livre de contexto: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b O EPAL é o 'bane' de muitos algoritmos de análise: ainda não …

23 formal-languages  formal-grammars  parsers 

Desejo analisar idiomas específicos do domínio definido pelo usuário. Essas linguagens são tipicamente próximas de notações matemáticas (não estou analisando uma linguagem natural). Os usuários definem sua DSL em uma notação BNF, assim: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr O tipo …

20 formal-languages  parsers  compilers 

Aparentemente, os ataques ReDos exploram características de algumas expressões regulares (de outra forma úteis) ... essencialmente causando uma explosão de caminhos possíveis através do gráfico definido pela NFA. É possível evitar esses problemas escrevendo uma regex 'não-má' equivalente? Se não (assim, a gramática não pode ser tratada no espaço / …

16 regular-expressions  parsers 

Se eu tenho uma gramática tipo 3, ela pode ser representada em um autômato de empilhamento (sem fazer nenhuma operação na pilha) para que eu possa representar expressões regulares usando linguagens livres de contexto. Mas eu posso saber se uma gramática do tipo 3 é , L L ( 1 …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

É possível analisar um documento usando uma única passagem de uma máquina de estado. Qual é o benefício de ter dois passes, ie. tendo um lexer para converter texto em tokens e tendo um analisador para testar as regras de produção nesses tokens? Por que não ter uma única passagem …

15 compilers  parsers 

Eu tento me ensinar o uso do bisonte. A página de manual bison (1) diz sobre o bison: Gere um analisador determinístico de LR ou LR generalizado (GLR) empregando tabelas de analisador LALR (1), IELR (1) ou LR (1) canônico. O que é um analisador IELR? Todos os artigos relevantes …

14 formal-languages  terminology  formal-grammars  parsers 

De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Eu estava pensando em gramáticas para linguagens sensíveis a indendências e parece que as gramáticas CF fariam o truque se combinadas com parâmetros. Como exemplo, considere este fragmento para gramática simplificada do Python no formato ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's …

13 formal-languages  context-free  formal-grammars  parsers 

Estou tentando entender o que se entende por "determinístico" em expressões como "gramática determinística livre de contexto". (Existem "coisas" mais determinísticas neste campo). Eu apreciaria um exemplo mais do que a explicação mais elaborada! Se possível. Minha principal fonte de confusão é não poder dizer como essa propriedade de uma …

13 context-free  formal-grammars  parsers 

Costumo trabalhar com lexer / parsers , ao contrário de um combinador de analisador e vejo pessoas que nunca tiveram aula em análise, perguntam sobre a análise de dados binários. Normalmente, os dados não são apenas binários, mas também sensíveis ao contexto. Isso basicamente leva a ter apenas um tipo …

13 programming-languages  compilers  parsers 

Estou com um problema com este exercício: Seja G a seguinte gramática ambígua para o cálculo λ: E → v | λv.E | EE | (E) onde E é o único símbolo não terminal, λv.E representa a abstração da variável v em E e EE representa a aplicação. Defina uma …

13 context-free  formal-grammars  compilers  parsers 

Estou estudando recentemente sobre o design de compiladores. Eu vim a conhecer dois tipos de gramática, a gramática LL e a gramática LR. Também sabemos os fatos de que toda gramática LL é LR que é gramática LL é um subconjunto adequado da gramática LR. O primeiro é usado na …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Desejo converter uma expressão regular inserida pelo usuário em um NFA, para que eu possa executar o NFA em uma string para fins de correspondência. Qual é a máquina mínima que pode ser usada para analisar expressões regulares? Suponho que deve ser um autômato push down, porque a presença de …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Esta é uma pergunta do Dragon Book. Esta é a gramática: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon A pergunta pergunta como mostrar que é LL (1), mas não SLR (1). Para provar que é LL (1), tentei construir sua tabela de análise, mas estou obtendo …

12 formal-grammars  compilers  parsers