Informatique théorique context-free

1

Conditions suffisantes pour la régularité d'une langue sans contexte

Il serait intéressant de rassembler une liste de conditions qui impliquent qu'un langage sans contexte L est régulier, c'est-à-dire des conditions de la forme: "si un CFG / PDA donné a la propriété P, alors ses langages sont réguliers" La propriété P n'a pas à caractériser les CFG générant des …

14 reference-request fl.formal-languages regular-language context-free survey

1

Limites inférieures de la taille des CFG pour des langues finies spécifiques

Considérons la question naturelle suivante: étant donné un langage fini , quelle est la plus petite grammaire sans contexte générant ?LLLLLL Nous pouvons rendre la question plus intéressante en spécifiant une séquence de langues , par exemple est l'ensemble de toutes les permutations de : intuitivement, un CFG pour aurait …

14 reference-request fl.formal-languages lower-bounds grammars context-free

1

Est {ww '| HamDist (w, w ')> 1} sans contexte?

Après avoir lu la question récente "est le complément de {www∣...}{www∣...}\{ www \mid ...\} Hors -contexte?" ; Je me suis souvenu d'un problème similaire que je n'ai pas pu réfuter: Est L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} sans contexte? Ici, nous exigeons que …

13 fl.formal-languages context-free

2

SAT est-il un langage sans contexte?

J'examine le langage de toutes les formules logiques propositionnelles satisfaisantes, SAT (pour garantir qu'il ait un alphabet fini, nous encoderions les lettres propositionnelles d'une manière appropriée [modifier: les réponses ont souligné que la réponse à la question peut ne pas être robuste sous différents encodages, il faut donc être plus …

12 cc.complexity-theory circuit-complexity sat context-free

3

Existe-t-il un DCFL le plus difficile?

Greibach célèbre défini un langage , que l'on appelle la version non - déterministe de , de telle sorte que toute la LCF est une image inverse de morphique . Existe-t-il une déclaration similaire avec DCFL, éventuellement avec une certaine restriction sur les morphismes autorisés?D 2 HHHHD2D2D_2HHH (Voir, par exemple, …

12 fl.formal-languages open-problem context-free nondeterminism hard-instances

2

Référence pour les langues Dyck étant complète en

Les langages Dyck sont définis par la grammaire suivante S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sur l'ensemble des symboles { ( 1 , … , ( k , ) 1 , … , ) k } . Langues Intuitivement Dyck sont les langues de parenthèses équilibré de k genre différent. Par exemple, …

12 reference-request fl.formal-languages circuit-complexity ho.history-overview context-free

3

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

Il est bien connu que le complément de est sans contexte. Mais qu'en est-il du complément de ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages context-free

3

Ambiguïté dans les langues régulières et sans contexte

Je comprends que les affirmations suivantes sont vraies: Deux dérivations distinctes d'une chaîne dans un CFG donné peuvent parfois attribuer le même arbre d'analyse à la chaîne. Lorsqu'il existe des dérivations d'une chaîne dans un CFG donné qui attribuent différents arbres d'analyse, le CFG est ambigu. Certains langages sans contexte …

11 fl.formal-languages regular-language context-free

1

Quelle est la complexité de l'état du langage de copie?

Soit un nombre . Considérons la langue suivante L n = {nnn .Ln= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En termes, est l'ensemble des chaînes de copie de longueur 2 n .LnLnL_n2 n2n2n Considérons la fonction …

10 fl.formal-languages automata-theory grammars context-free

3

Mathématiques continues et théorie du langage formel

S'il y a des résultats sur la résolution des problèmes de langage formel en utilisant l'analyse mathématique, les mathématiques continues. Par exemple, résoudre le problème de non-vacuité d'intersection pour une langue sans contexte et une langue régulière.

9 fl.formal-languages automata-theory context-free

1

Problème d'adhésion pour certaines classes de grammaires illimitées

Considérons une grammaire arbitraire sans contexte sur l'alphabet { 0 , 1 , ¯ 0 , ¯ 1 } . Aux productions de cette grammaire, ajoutez deux productions fixes non contextuelles P : ¯ 0 0 → ϵ et ¯ 1 1 → ϵ . Appelons la grammaire résultante G …

9 context-free decidability

1

Densité asymptotique de grammaires ambiguës sans contexte (CFG)

Quel est le rapport entre les CFG ambigus et tous les CFG ? Étant donné que les deux ensembles sont infiniment dénombrables, le rapport n'est pas bien défini. Mais qu'en est-il de la densité asymptotique : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of …

9 fl.formal-languages grammars context-free

2

Pourquoi le non-déterminisme (automates push-down) est-il nécessaire?

Je voudrais savoir pourquoi pour la reconnaissance des langues sans contexte, seuls les automates déroulants non déterministes (DPA = NPDA) fonctionnent. Pourquoi les automates déterministes push-down (DPDA) ne reconnaissent-ils pas ces langages?

9 fl.formal-languages automata-theory context-free

1

Existe-t-il une taille polynomiale CFG qui décrit ce langage fini?

Existe-t-il des permutations et une grammaire sans contexte de taille polynomiale (dans | w | = n ) qui décrivent le langage fini { w π 1 ( w ) π 2 ( w ) } sur l'alphabet { 0 , 1 } ?π1, π2π1,π2\pi_1,\pi_2| w | =n|w|=n|w|=n{ w π1( …

9 fl.formal-languages grammars context-free

Questions marquées «context-free»