Informatique théorique parsing

5

Récupérer une forêt d'analyse d'un analyseur Earley?

Je lisais récemment sur l' analyseur Earley et je pense que c'est l'un des algorithmes les plus élégants que j'ai vus à ce jour. Cependant, l'algorithme dans son sens traditionnel est un identificateur et non un analyseur, ce qui signifie qu'il peut détecter si une chaîne correspond à un CFG …

25 fl.formal-languages parsing

1

Toutes les grammaires non ambiguës peuvent-elles être analysées en temps linéaire?

En bricolant avec l'analyse LR non canonique, j'ai pensé à une méthode d'analyse (avec des tables de taille infinie, ce qui la rend peu pratique ) capable d'analyser exactement les grammaires sans ambiguïté en temps , et je me suis demandé s'il était possible de faire mieux :O(n2)O(n2)O(n^2) Toutes les …

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

3

Analyse CFG en utilisant l' espace

Il existe une multitude d'algorithmes qui peuvent analyser une grammaire sans contexte en temps . En utilisant la multiplication matricielle, on peut même aller plus vite asymptotiquement que cela.O ( n3)O(n3)O(n^3) Cependant, tous les algorithmes d'analyse syntaxique des CFG arbitraires que je connais ont une utilisation de l'espace dans le …

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

3

Généralisations de la méthode de Brzozowski de dérivation des expressions régulières aux grammaires?

La méthode de dérivation de Brzozowski est une très jolie technique pour construire des automates déterministes à partir d'expressions régulières d'une manière bien algébrique. J'ai élaboré de jolies généralisations de cette technique pour gérer des classes de grammaires plus importantes, mais les algorithmes sont assez simples pour qu'il semble tout …

18 reference-request fl.formal-languages parsing

2

Phrases de permutation avec analyse LR

Une phrase de permutation est une extension des définitions de grammaire sans contexte standard (E) BNF: une phrase de permutation contient n productions (ou de manière équivalente, non terminales) A 1 à A n . À la position de la phrase de permutation, nous aimerions voir chacune de ces productions …

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

2

Algorithme efficace pour mettre à jour un arbre d'analyse

Disons que j'ai un gros bloc de code que j'ai déjà lexé et analysé. Supposons qu'un seul caractère change; Je voudrais mettre à jour mon analyse, mais comme la modification est très petite par rapport à l'ensemble, je voudrais savoir s'il est possible de ne pas analyser à nouveau l'ensemble, …

14 fl.formal-languages parsing

2

Théorie des catégories et analyseurs - références recherchées

Étant donné que je suis intéressé par les analyseurs (principalement les grammaires d'expression des analyseurs), je me demande s'il y a du travail qui donne un traitement catégorique de l'analyse. Toute référence sur les applications de la théorie des catégories à l'analyse syntaxique est très appréciée. Meilleur,

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

1

Relation entre l'analyse par réduction de décalage et les continuations délimitées?

Quelqu'un a-t-il officialisé la relation entre les techniques d'analyse de réduction de décalage et les continuations délimitées? Lors de la construction d'un analyseur ascendant (par exemple, les analyseurs LR), nous prenons une grammaire, puis représentons les états d'analyse sous forme d'ensembles d' éléments : productions augmentées de la forme , …

13 pl.programming-languages parsing

1

Pourquoi Tomita a créé GLR et n'a pas utilisé Earley?

Quand je regarde l'analyse Earley, elle a l'air très élégante, et je me demande pourquoi les techniques GLR deviennent populaires? Est-ce que quelqu'un sait ce qui n'allait pas avec Earley en analysant que Tomita a créé GLR? Performance? Toute publication sur ces discussions est très appréciée.

11 parsing

4

De bons livres sur la théorie de l'analyseur?

Un de mes projets Java est une fourchette d'étuvage , et contrairement à, disons, Antlr ou JavaCC, les analyseurs sont générés au moment de l'exécution. Les grammaires générées sont des grammaires d'expression syntaxique ou PEG (j'entends un autre terme pour eux est "packrat"). Alors que la génération d'exécution ajoute de …

9 research-practice books parsing

2

Méthode de forme normale de Chomsky: implications de performances de l'analyseur CYK?

Les analyseurs de graphiques peuvent être implémentés sur la base de la forme normale de Chomsky ou directement sur la base des règles de production. Supposons pour le moment que nous avons un analyseur graphique CYK qui utilise la forme normale de Chomsky. La binarisation n'est pas définie de manière …

9 fl.formal-languages parsing

Questions marquées «parsing»