Preguntas etiquetadas con parsers

Hay una manera de realizar un análisis difuso (acepta cadenas incluso con errores tipográficos a una cierta distancia de edición), con un DFA y un Autómata Levenshtein construido en tiempo de ejecución de la palabra de entrada. ¿Se puede hacer algo similar con un analizador Earley? Me resulta difícil entender …

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

En un analizador LR (0), cada estado consta de una colección de elementos LR (0), que son producciones anotadas con una posición. En un analizador LR (1), cada estado consta de una colección de elementos LR (1), que son producciones anotadas con una posición y un carácter anticipado. Se sabe …

10 context-free  parsers  lr-k 

¿Puede alguien aclararme por qué un analizador de descenso recursivo con retroceso que prueba las producciones y (en ese orden) no reconoce el lenguaje formado por la gramática .S→aSaS→unSunS \rightarrow aSaS→aaS→ununS \rightarrow aaS→aSa | aaS→unSun El | ununS \rightarrow aSa\ |\ aa Parece que solo analiza palabras del idioma .{a2n …

10 context-free  formal-grammars  compilers  parsers 

A continuación se presenta gramática independiente del contexto de una "colgando más" tipo de ambigüedad (imagina que sinónimo de y b representa y c representa algún otro tipo de instrucción o bloque): Saaaif expr thenbbbelseccc Por ejemplo,aacbcse puede analizar como(a(acbc))o como(a(ac)bc)(esta es la palabra ambigua más simple / más corta …

9 context-free  formal-grammars  parsers  ambiguity 

Usar el vector Earley como un reconocedor es bastante sencillo: cuando se alcanza el final de la cadena, solo tiene que verificar si la producción axiomática completa comenzó en la posición 0. Si tiene al menos una, entonces se acepta la cadena. Usar el vector Earley para reconstruir los árboles …

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

En la universidad hemos estado aprendiendo sobre la teoría de la computación en general y las máquinas de Turing más específicamente. Uno de los grandes resultados teóricos es que, a costa de un alfabeto (símbolos) potencialmente grande, puede reducir el número de estados a solo 2. Estaba buscando ejemplos de …

9 turing-machines  context-free  parsers 

Esta gramática se deja recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Entonces, en teoría, el descenso recursivo no funcionará. Pero al …

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

Estoy trabajando en un analizador para un lenguaje de estilo C, y para ese analizador necesito la expresión regular que coincida con el estilo C / ** / comentarios. Ahora, he encontrado esta expresión en la web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Sin embargo, como puede ver, esta es una expresión bastante desordenada, y …

8 compilers  parsers  regular-languages