L'informatique parsers

1

Comparaison théorique des langages des grammaires LL et LR

Les gens disent souvent que les analyseurs syntaxiques LR (k) sont plus puissants que les analyseurs syntaxiques LL (k) . Ces déclarations sont vagues la plupart du temps; en particulier, devrions-nous comparer les classes pour un fixe ou l'union sur tous les k ? Alors, comment est la situation vraiment? …

68 formal-languages formal-grammars parsers reference-question

1

Existe-t-il un algorithme d'analyse CFG non général qui reconnaît EPAL?

EPAL, la langue des palindromes pairs, est définie comme la langue générée par la grammaire sans contexte suivante sans ambiguïté: S→ a aS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ un SuneS→aSaS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b EPAL est le «fléau» …

23 formal-languages formal-grammars parsers

3

Analyser des grammaires arbitraires sans contexte, principalement de courts extraits

Je souhaite analyser les langues spécifiques au domaine défini par l'utilisateur. Ces langages sont généralement proches des notations mathématiques (je n'analyse pas un langage naturel). Les utilisateurs définissent leur DSL dans une notation BNF, comme ceci: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * …

20 formal-languages parsers compilers

2

Pour chaque regex «mal», existe-t-il une alternative non-mal, ou le diable est-il dans la grammaire?

Apparemment, les attaques ReDos exploitent les caractéristiques de certaines expressions régulières (autrement utiles) ... provoquant essentiellement une explosion de chemins possibles à travers le graphique défini par le NFA. Est-il possible d'éviter de tels problèmes en écrivant une expression rationnelle «non perverse» équivalente? Sinon (ainsi, la grammaire ne peut pas …

16 regular-expressions parsers

2

Les expressions régulières

Si j'ai une grammaire de type 3, elle peut être représentée sur un automate déroulant (sans faire aucune opération sur la pile) afin que je puisse représenter des expressions régulières en utilisant des langages sans contexte. Mais puis-je savoir si une grammaire de type 3 est , L L ( …

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

1

Pourquoi séparer lexing et analyse?

Il est possible d'analyser un document en un seul passage depuis une machine d'état. Quel est l'avantage d'avoir deux passes, à savoir. avoir un lexer pour convertir du texte en jetons, et avoir un analyseur pour tester les règles de production sur ces jetons? Pourquoi ne pas avoir un seul …

15 compilers parsers

2

Qu'est-ce qu'un analyseur IELR (1)?

J'essaie de m'enseigner l'usage du bison. Le bison de la page de manuel (1) dit à propos du bison: Générez un analyseur syntaxique déterministe LR ou LR généralisé (GLR) en utilisant les tables d'analyseur LALR (1), IELR (1) ou canonique LR (1). Qu'est-ce qu'un analyseur IELR? Tous les articles pertinents …

14 formal-languages terminology formal-grammars parsers

1

Quand

Selon l'article de Wikipedia , le L dans signifie "balayage de gauche à droite" et le "R" signifie "dérivation la plus à droite". Cependant, dans l'article original de Knuth sur les grammaires L R ( k ) , il définit L R ( k ) (à la page 610) comme …

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

3

Qu'obtiendriez-vous si vous ajoutez des paramètres à des grammaires sans contexte?

Je pensais aux grammaires pour les langues sensibles à l'indentation et il semble que les grammaires CF feraient l'affaire si elles étaient combinées avec des paramètres. À titre d'exemple, considérons ce fragment pour la grammaire Python simplifiée au format de type ANTLR: // on top-level the statements have empty indent …

13 formal-languages context-free formal-grammars parsers

5

En quoi la non-ambuiguïté est-elle différente du déterminisme?

J'essaie de comprendre ce que l'on entend par «déterministe» dans des expressions telles que «grammaire déterministe sans contexte». (Il y a des "choses" plus déterministes dans ce domaine). J'apprécierais un exemple plus que l'explication la plus élaborée! Si possible. Ma principale source de confusion est de ne pas pouvoir dire …

13 context-free formal-grammars parsers

3

Pourquoi l'utilisation d'un lexer / analyseur sur des données binaires est-elle si mauvaise?

Je travaille souvent avec lexer / parsers , par opposition à un combinateur d'analyseurs et je vois des gens qui n'ont jamais suivi de cours d'analyse, poser des questions sur l'analyse des données binaires. En règle générale, les données sont non seulement binaires, mais également contextuelles. Cela conduit à n'avoir …

13 programming-languages compilers parsers

2

Suppression de la récursion gauche dans la grammaire tout en maintenant l'association gauche de l'opérateur

J'ai un problème avec cet exercice: Soit G la grammaire ambiguë suivante pour le λ-calcul: E → v | λv.E | EE | (E) où E est le symbole non terminal unique, λv.E représente l'abstraction par rapport à la variable v dans E et EE représente l'application. Définissez une grammaire …

13 context-free formal-grammars compilers parsers

2

Existe-t-il un moyen de distinguer la grammaire LL (k) et LR (k)?

J'étudie récemment la conception de compilateurs. J'ai appris l'existence de deux types de grammaire: la grammaire LL et la grammaire LR. Nous savons également que chaque grammaire LL est LR, c'est-à-dire que la grammaire LL est un sous-ensemble approprié de la grammaire LR. Le premier est utilisé dans l'analyse descendante …

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

2

Le langage des expressions régulières a-t-il besoin d'un automate push down pour l'analyser?

Je souhaite convertir une expression régulière entrée par l'utilisateur en NFA afin de pouvoir ensuite exécuter le NFA sur une chaîne à des fins de correspondance. Quelle est la machine minimale qui peut être utilisée pour analyser des expressions régulières? Je suppose que ce doit être un automate push down …

12 formal-languages parsers regular-expressions pushdown-automata

3

Comment est cette grammaire LL (1)?

Ceci est une question du Dragon Book. Voici la grammaire: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon La question demande comment montrer qu'il s'agit de LL (1) mais pas de SLR (1). Pour prouver qu'il s'agit de LL (1), j'ai essayé de construire sa table d'analyse, …

12 formal-grammars compilers parsers

Questions marquées «parsers»