L'informatique formal-grammars

2

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

Intersection de contexte libre avec des langues régulières

On dit que l'intersection d'un langage L sans contexte avec un langage M normal est toujours sans contexte. J'ai compris la preuve de la construction de produits croisés, mais je ne comprends toujours pas pourquoi elle est sans contexte mais pas régulière. Le langage généré par une telle intersection a …

16 regular-languages context-free finite-automata formal-grammars

2

Langages décidables non sensibles au contexte

On peut soutenir que la plupart des langages créés pour décrire des problèmes quotidiens sont sensibles au contexte. En revanche, il est possible et pas difficile de trouver des langages qui ne sont pas récursifs ou même non récursivement énumérables. Entre ces deux types se trouvent les langages récursifs non …

15 formal-languages complexity-theory formal-grammars

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

2

Les ensembles Avant et Après pour les grammaires sans contexte sont-ils toujours sans contexte?

Soit GGG une grammaire sans contexte. Une chaîne de terminaux et de nonterminals est dit être une forme propositionnelle de si vous pouvez l' obtenir en appliquant des productions de zéro fois ou plus au symbole de début de . Let l'ensemble des formes phrastiques de .GGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Soit et soit …

14 formal-languages context-free formal-grammars closure-properties

2

Est le complément de {ww | …} Sans contexte?

Définissez la langue LLL comme L = { a , b } ∗ - { w w ∣ w ∈ { a , b } ∗ }L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En d'autres termes, LLL contient les mots qui ne peuvent pas être exprimés …

14 formal-languages context-free formal-grammars

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

2

Comment le mot «production» est-il devenu synonyme du mot «règle» dans le contexte de l'informatique?

J'étudie les langages formels et les systèmes de bases de production (systèmes de bases de règles) et je suis un peu confus quant à la raison pour laquelle ces deux mots "production" et "règle" signifient la même chose dans tant de contexte en informatique. En langue anglaise, ils ne semblent …

13 formal-languages terminology automata finite-automata formal-grammars

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

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

1

Différence entre l'expression régulière et la grammaire dans les automates

Je suis nouveau dans les automates et je n'ai reçu une brève introduction aux expressions régulières qu'hier. J'ai lu les différentes règles qui définissent une expression régulière. Mais je suis incapable de faire la différence entre les expressions régulières et la grammaire d'une langue (on ne m'a pas appris la …

12 automata formal-grammars regular-expressions

3

L'importance des formes normales comme la forme normale de Chomsky pour les CFG

Je comprends que les grammaires sans contexte peuvent être utilisées pour représenter des langues sans contexte, ce qui peut avoir des ambiguïtés. Nous avons également des formes normales comme la forme normale de Chomsky et Greibach . Je ne pouvais pas comprendre le besoin de cela. Pourquoi sont-ils importants dans …

12 formal-languages context-free formal-grammars normal-forms

4

Quelqu'un peut-il donner un exemple simple mais non jouet d'une grammaire contextuelle?

J'essaie de comprendre les grammaires contextuelles. Je comprends pourquoi des langues comme { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} ne sont pas sans contexte, mais ce que j'aimerais savoir si un langage similaire au calcul lambda …

12 formal-grammars programming-languages lambda-calculus context-sensitive

2

Tous les langages contextuels sont-ils décidables?

Je parcourais la définition de Wikipedia du langage contextuel et j'ai trouvé ceci: Chaque catégorie de langues est un sous-ensemble approprié de la catégorie directement au-dessus. Tout automate et toute grammaire dans chaque catégorie a un automate ou une grammaire équivalent dans la catégorie directement au-dessus. Je pouvais voir que …

12 formal-grammars turing-machines undecidability context-sensitive

Questions marquées «formal-grammars»