L'informatique context-free

2

Décidabilité des langages des grammaires et des automates

Notez qu'il s'agit d'une question liée à l'étude dans un cours de CS dans une université, ce n'est PAS des devoirs et peut être trouvé ici sous l'examen d'automne 20112. Voici les deux questions que je regarde d'un examen passé. Ils semblent être liés, le premier: Laisser FINITECFG={<G>∣G is a …

16 formal-languages computability context-free regular-languages turing-machines

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

3

Exemple d'un langage sans contexte qui peut néanmoins être pompé?

Donc, fondamentalement, L satisfait aux conditions du lemme de pompage pour les CFL mais n'est pas un CFL (ce qui est possible selon la définition du lemme).

15 formal-languages context-free pumping-lemma

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

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

1

Existe-t-il un langage

Je sais qu'il existe des langages non réguliers, de sorte que est régulier, mais tous les exemples que je peux trouver sont sensibles au contexte mais pas libres de contexte.L∗L∗L^* Au cas où il n'y en aurait pas comment le prouver?

13 formal-languages context-free regular-languages

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

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

2

Tous les langages sans contexte et réguliers sont-ils décidables de manière efficace?

Je suis tombé sur cette figure qui montre que les langages sans contexte et réguliers sont des sous-ensembles (appropriés) de problèmes efficaces (supposément ). Je comprends parfaitement que les problèmes efficaces sont un sous-ensemble de tous les problèmes décidables car nous pouvons les résoudre, mais cela peut prendre très longtemps.PP\mathrm{P} …

12 formal-languages regular-languages context-free efficiency

2

Exemples de langages sans contexte avec des compléments sans contexte

Les langues sans contexte ne sont pas fermées par complémentation. Dans les conférences, on nous a donné le même argument qu'ici sur Wikipédia : pour et sont tous deux sans contexte, mais leur intersection ne l'est pas. Étant donné que les langues sans contexte sont fermées sous les unions, elles …

11 formal-languages context-free

2

Trouver le langage généré par une grammaire sans contexte

Ceci est une question du livre Dragon (je m'excuse pour les erreurs de traduction, je n'ai pas la version anglaise sous la main): Quelle langue est générée par cette grammaire? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Je ne sais pas ce que je …

11 formal-languages context-free formal-grammars

3

Preuve facile pour les langues sans contexte fermées par changement cyclique

Le décalage cyclique (également appelé rotation ou conjugaison ) d'un langage est défini comme . Selon wikipedia (et ici ), les langages sans contexte sont fermés dans le cadre de cette opération, avec des références aux articles d'Oshiba et de Maslov. Y a-t-il une preuve facile de ce fait?L { …

11 formal-languages context-free closure-properties

1

Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

Questions marquées «context-free»