Soit L⊆X∗L⊆X∗L \subseteq X^{\ast} un langage, puis nous définissons la congruence syntaxique comme u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L et le quotient monoïde est appelé monoïde syntaxique de...
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 :...
Je lis " Concaténation des langues régulières et complexité descriptive " par Galina Jiraskova, 2009 sur la complexité de l'état résultant de la concaténation de deux langues régulières (par Galina Jiraskova), mais je ne comprends pas quelles seraient les implications pratiques de la complexité de...
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: seq :: a -> b -> b...
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...
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} Y a-t-il un...
Soit la famille de toutes les langues sur satisfaisant la propriété de pompage des langues régulières. A savoir: pour chaque , il y a un st chaque mot , peut s'écrire sous la forme w = xyz où: 1. | y |> 0 , 2. | xy | \ le N , 3. xy ^ iz \ in L pour tout i \ ge 0 . Σ L ∈ L N ∈ N w ∈ L | w | >...
Un automate Xor non déterministe (NXA) est syntaxiquement un NFA, mais un mot est dit accepté par NXA s'il a un nombre impair de chemins d'acceptation (au lieu d'au moins un chemin d'acceptation dans le cas NFA). Il est facile de voir que pour un langage régulier fini , il existe un NFA minimal qui...
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...
Je veux définir une notion de "proximité" entre deux langages réguliers de mots finis dans (et / ou des mots infinis dans ). L'idée de base est que nous voulons que deux langues soient proches si elles ne diffèrent pas par beaucoup de mots. Nous pourrions également utiliser la distance d'édition...
Que sait-on de la classe des langages reconnus par les automates finis ayant le même état initial et acceptant? Il s'agit d'un sous-ensemble approprié des langues régulières (puisque chaque langue de ce type contient la chaîne vide), mais à quel point est-elle faible? Existe-t-il une...
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,
Je fais actuellement des recherches sur le langage formel impliquant des classes de langues au-dessus de Regular mais en dessous de Context Free. Je regarde des choses comme les machines à compteurs multiples inversées, les compteurs à pile unique, les LFC déterministes, etc. Je me demande si...
Quelqu'un peut-il fournir un exemple de deux automates non déterministes (NFA) minimaux équivalents (reconnaissant le même langage) qui ne sont pas
Disons que l'on a une langue , mais on ne sait pas quelles chaînes font réellement partie de la langue. Tout ce que l'on a est une vue finie du langage: un ensemble fini de chaînes qui sont connues pour être dans le langage, et un ensemble fini de chaînes qui sont connues ne pas être dans la...
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...
Je recherche une langue L avec les propriétés suivantes: L ne doit pas être hors contexte. Le complément de L ne doit pas être hors contexte. (Tout ce que vous voyez dans les manuels comme exemples de langues non contextuelles semble ne pas répondre à cette deuxième exigence.) L ne devrait pas être...
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
J'ai déplacé cette question de stackoverflow où id n'a obtenu aucune réponse. Nous avions une question similaire à savoir si JSON est régulier : JSON et XML sont tous deux fréquemment appelés pour être des langages sans contexte - ils sont tous deux spécifiés principalement par une grammaire...
C'est probablement assez simple, mais considérez le problème standard de correspondance par correspondance: Étant donné et , trouvez une séquence d'indices tels que . C'est, bien sûr, indécidable.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i Kα1,…,αNα1,…,αN\alpha_1, \ldots,...