Étant donné une langue régulière (NFA, DFA, grammaire ou expression régulière), comment peut-on compter le nombre de mots acceptés dans une langue donnée? "Avec exactement n lettres" et "avec au plus n lettres" présentent un intérêt. Margareta Ackerman a deux articles sur le sujet connexe de l'énumération des mots acceptés …
Dans de nombreux articles impliquant des grammaires sans contexte (CFG), les exemples de telles grammaires présentés ici admettent souvent des caractérisations faciles du langage qu'elles génèrent. Par exemple: S→aaSbS→aaSbS \to a a S b S→S→S \to génère {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b …
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 …
1) Quelle est, le cas échéant, la relation entre le typage statique et les grammaires formelles? 2) En particulier, serait-il possible pour un automate borné linéaire de vérifier si, disons, un programme C ++ ou SML était bien typé? Un automate de pile imbriqué? 3) Existe-t-il un moyen naturel d'exprimer …
Pour toute langue sur , définissez En d'autres termes, constituée de tous pour lesquels il existe un de longueur égale de telle sorte que .LLLΣ∗Σ∗\Sigma^*L1 / 2= { x ∈ Σ∗: x y∈ L , y∈ Σ| x |} .L1/2={X∈Σ∗:Xy∈L,y∈Σ|X|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1 / …
Pour un alphabet fini fixe , un langage formel sur est régulier s'il existe un automate fini déterministe (DFA) sur qui accepte exactement .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Je m'intéresse aux langues qui sont "presque" régulières dans le sens où elles peuvent être reconnues par des familles d'automates de taille qui ne croissent …
Certains d'entre vous ont peut-être suivi cette question , qui a été fermée en raison d'un niveau de recherche insuffisant. J'extrais donc la partie de la question qui se situe au niveau de la recherche. Au-delà des techniques "plus simples", telles que la réduction au tri ou un problème EXPTIME-complet, …
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 …
Outre la complexité de communication (déterministe) d'une relation , une autre mesure de base pour la quantité de communication nécessaire est le numéro de partition de protocole . La relation entre ces deux mesures est connue jusqu'à un facteur constant. La monographie de Kushilevitz et Nisan (1997) donneRc c ( …
J'ai remarqué que les langues régulières sur l'alphabet peuvent naturellement être considérées comme un poset, et même un treillis. De plus, la concaténation avec le langage vide définit une structure monoïdale stricte sur cette catégorie qui est distributive sur les jointures (je ne suis pas sûr des rencontres). Est-ce une …
Le lemme de pompage pour les langues régulières peut être prouvé en considérant un automate à états finis qui reconnaît la langue étudiée, en choisissant une chaîne avec une longueur supérieure à son nombre d'états et en appliquant le principe du pigeonhole. Le lemme de pompage pour les langues sans …
Notons wnwnw_n le nombre de mots de longueur nnn dans une langue sans contexte (éventuellement ambiguë). Que sait-on de wnwnw_n ? Je suis sûr que cela a été beaucoup étudié, mais je n'ai rien trouvé du tout là-dessus.
Étant donné les expressions régulières , existe-t-il des limites non triviales à la taille de la plus petite grammaire sans contexte pour R 1 ∩ ⋯ ∩ R n ?R1, … , RnR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n
Définissez la classe suivante de langues "circulaires" sur un alphabet fini Sigma. En fait, le nom existe déjà pour désigner une chose différente, semble-t-il, utilisée dans le domaine de l'informatique ADN. AFAICT, c'est une classe de langues différente. Un langage L est circulaire ssi pour tous les mots dans , …
Il est bien connu que le problème d'équivalence est indécidable pour les langages généraux sans contexte. Cependant, toutes les preuves de ce fait que je connais semblent impliquer des grammaires ambiguës sans contexte. Pour cette raison, je voudrais demander si l'on sait si le problème reste indécidable tout en se …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.