Preguntas etiquetadas con parsing

Hace poco estuve leyendo sobre el analizador Earley y creo que es uno de los algoritmos más elegantes que he visto hasta la fecha. Sin embargo, el algoritmo en su sentido tradicional es un reconocedor y no un analizador, lo que significa que puede detectar si una cadena coincide con …

25 fl.formal-languages  parsing 

Al jugar con el análisis LR no canónico, pensé en un método de análisis (con tablas de tamaño infinito, lo que lo hace poco práctico ) capaz de analizar exactamente las gramáticas inequívocas en el tiempo , y me preguntaba si es posible hacerlo mejor :O ( n2)O(norte2)O(n^2) ¿Se pueden …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Hay una multitud de algoritmos que pueden analizar una gramática libre de contexto en tiempo . Usando la multiplicación de matrices, incluso se puede ir asintóticamente más rápido que eso.O ( n3)O(n3)O(n^3) Sin embargo, todos los algoritmos para analizar CFG arbitrarios que conozco tienen un uso de espacio en el …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los algoritmos son lo suficientemente sencillos que parece …

18 reference-request  fl.formal-languages  parsing 

Una frase de permutación es una extensión de las definiciones de gramática libre de contexto estándar (E) BNF: una frase de permutación contiene n producciones (o, de manera equivalente, no terminales) A 1 a A n{ A1, ... , Anorte}{UN1,...,UNnorte}\{ A_1, \dots, A_n \}nortenortenUN1UN1A_1UNnorteUNnorteA_n . En la posición de la …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Digamos que tengo un gran bloque de código que ya he lexed y analizado. Supongamos que solo un personaje cambia; Me gustaría actualizar mi análisis, pero dado que la modificación es muy pequeña en comparación con todo, me gustaría saber si es posible no analizar todo nuevamente, pero si hay …

14 fl.formal-languages  parsing 

Como estoy interesado en los analizadores (principalmente en las gramáticas de expresión de analizadores), me pregunto si hay algún trabajo que ofrezca un tratamiento categórico del análisis. Cualquier referencia sobre aplicaciones de la teoría de categorías al análisis es muy apreciada. Mejor,

13 reference-request  functional-programming  ct.category-theory  parsing 

¿Alguien ha formalizado la relación entre técnicas de análisis de reducción de turnos y continuaciones delimitadas? Al construir un analizador de abajo hacia arriba (p. Ej., Analizadores LR), tomamos una gramática y luego representamos estados de análisis como conjuntos de elementos : producciones aumentadas de la forma , donde α …

13 pl.programming-languages  parsing 

Cuando miro el análisis de Earley, se ve muy elegante, y me pregunto por qué las técnicas GLR se vuelven populares. ¿Alguien sabe qué estaba mal con Earley al analizar que Tomita creó GLR? ¿Actuación? Cualquier publicación sobre estas discusiones es muy apreciada.

11 parsing 

Uno de mis proyectos Java es una bifurcación de parboiled y, a diferencia de, por ejemplo, Antlr o JavaCC, los analizadores se generan en tiempo de ejecución. Las gramáticas generadas son gramáticas de expresión de análisis, o PEG (escuché que otro término para ellas es "packrat"). Mientras que la generación …

9 research-practice  books  parsing 

Los analizadores de gráficos se pueden implementar según la forma normal de Chomsky o directamente según las reglas de producción. Supongamos por el momento que tenemos un analizador gráfico CYK que usa la forma normal de Chomsky. La binarización no está definida de forma exclusiva. ¿Esto afecta el rendimiento del …

9 fl.formal-languages  parsing 

¿Existe un algoritmo para verificar si una expresión regular de tamaño n coincide con una cadena de tamaño m , suponiendo un alfabeto de tamaño fijo si eso importa?O ( n + m )O(norte+metro)O(n+m)nortenortenmetrometrom El algoritmo estándar de NFA es peor de los casos. Groz y col. lograr tiempo lineal …

8 regular-expressions  parsing