Perguntas com a marcação «parsers»

Existe uma maneira de executar a análise difusa (aceita seqüências de caracteres mesmo com erros de digitação a uma certa distância de edição), com um DFA e um Autômato Levenshtein construído em tempo de execução da palavra de entrada. É possível fazer algo semelhante com um analisador Earley? Estou achando …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Em um analisador LR (0), cada estado consiste em uma coleção de itens LR (0), que são produções anotadas com uma posição. Em um analisador de LR (1), cada estado consiste em uma coleção de itens de LR (1), que são produções anotadas com uma posição e um caractere lookahead. …

10 context-free  parsers  lr-k 

Alguém pode me esclarecer por que um analisador de descida recursiva com retrocesso que tenta as produções e S → a a (nessa ordem) não reconhece o idioma formado pela gramática S → a S a | a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ …

10 context-free  formal-grammars  compilers  parsers 

Os seguintes presentes gramática livre de contexto uma "pendurado outra" tipo ambigüidade (imaginar que aaa significa if expr thene bbb significa elsee ccc está para algum outro tipo de instrução ou bloco): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Por exemplo,aacbcaacbcaacbcpode ser analisado como(a(acbc))(a(acbc))(a(acbc))ou como(a(ac)bc)(a(ac)bc)(a(ac)bc)(esta é a …

9 context-free  formal-grammars  parsers  ambiguity 

Usar o vetor Earley como reconhecedor é bastante direto: quando o final da string é atingido, basta verificar se uma produção axiomática concluída foi iniciada na posição 0. Se você tiver pelo menos uma, a string será aceita. Usar o vetor Earley para reconstruir a (s) árvore (s) de análise …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Na faculdade, aprendemos mais sobre a teoria da computação em geral e sobre as máquinas de Turing. Um dos grandes resultados teóricos é que, ao custo de um alfabeto potencialmente grande (símbolos), você pode reduzir o número de estados para apenas 2. Eu estava procurando exemplos de diferentes máquinas de …

9 turing-machines  context-free  parsers 

Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Portanto, em teoria, a descida recursiva não funcionará. Mas, explorando …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Estou trabalhando em um analisador para uma linguagem no estilo C e, para esse analisador, preciso da expressão regular que corresponda ao estilo C / ** / comentários. Agora, encontrei esta expressão na web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ No entanto, como você pode ver, essa é uma expressão bastante confusa e não tenho …

8 compilers  parsers  regular-languages 

se eu tiver uma gramática com uma produção que contenha recursão esquerda e fatoração esquerda como F→ FB a ∣ c D S∣ cF→FBuma∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c qual deles tem prioridade, recursão esquerda ou fatoração esquerda?

8 formal-languages  formal-grammars  parsers  left-recursion 

Descrição abstrata do problema Do meu ponto de vista, analisar significa criar um fluxo de token a partir de um AST, que quando analisado novamente produz um AST igual, ou seja, parse(unparse(AST)) = ASTdeve ser mantido. É o mesmo que encontrar uma árvore de análise válida que produziria o mesmo …

7 algorithms  compilers  parsers  attribute-grammars 

Eu tenho que escrever uma gramática para Pascal, e há apenas uma coisa que está causando problemas. Digamos que temos operadores (classificados por prioridade de baixa a alta): Postfix^ . Prefixo^ . [ ], e ., (mesma prioridade e associativo à esquerda). O único terminal idé qualquer letra minúscula. Agora …

7 programming-languages  parsers  formal-grammars