Questions marquées «regular-language»

Questions sur les langages formels qui peuvent être décrits par des expressions régulières (au sens de Kleene), ou, de façon équivalente, les langages qui peuvent être acceptés par des automates finis.

1
Une ambiguïté constante peut-elle réduire la complexité de l'état d'une langue régulière?
Nous disons que NFA est constamment ambigu s'il existe telle sorte que tout mot est accepté par ou (exactement) chemins.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Si l'automate est constamment ambigu pour , alors est appelé FA sans ambiguïté (UFA).k = 1 MMMMk=1k=1k=1MMM Soit une langue …
2
Quelle est la taille d'un NFA par rapport à l'automate fini sans ambiguïté minimal (UFA) de la même langue régulière?
Les automates finis sans ambiguïté (UFA) sont un type spécial d'automates finis non déterministes (NFA). Un NFA est appelé sans ambiguïté si chaque mot a au plus un chemin d'acceptation.w∈Σ∗w∈Σ∗w\in \Sigma^* Cela signifie .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Résultats d'automate associés connus: La minimisation NFA est PSPACE-Complete. La minimisation NFA sur les …
4
Hiérarchies en langues régulières
Y a-t-il une "belle" hiérarchie (peut-être finie) à l'intérieur de la classe des langues régulières ? Par gentil ici, les classes de chaque hiérarchie capturent différentes expressivités / puissance / complexité. De plus, l'appartenance à chaque classe est "joliment" démontrée par certains éléments (contrairement au problème de hauteur d'étoile qui …
2
Régulier contre TC0
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 candidat pour un problème dans qui n'est pas dans ?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} Y a-t-il un résultat conditionnel impliquant que , par exemple si puis ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\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}
3
L'importance de la complexité des états dans les automates et les langues régulières?
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 l'état. . La première pensée …
3
Sur la réalisation des monoïdes comme monoides syntaxiques des langues
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 .X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Maintenant, quels monoïdes surgissent en tant que monoides …
2
Apprentissage automatique sans contre-exemples
Dans le cadre d'apprentissage des automates d'Angluin , un étudiant vise à apprendre une langue régulière en posant deux types de questions à son professeur:L ⊆ Σ∗L⊆Σ∗L\subseteq \Sigma^* Requêtes de mots: étant donné , ?w ∈ Σ∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Requêtes d'équivalence: étant donné un langage , est ? …
1
Complexité paramétrée de l'inclusion des langues régulières
Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Entrée: Deux …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.