Questions marquées «regular-expressions»

Questions sur la théorie des expressions régulières, à la fois au sens de la définition originale de Kleene et des expressions régulières POSIX.

4
Trouver l'expression régulière minimale est-il un problème NP-complet?
Je pense au problème suivant: je veux trouver une expression régulière qui correspond à un ensemble particulier de chaînes (par exemple, des adresses électroniques valides) et ne correspond à aucune autre (adresses électroniques non valides). Supposons que par expression régulière, nous entendons une machine à états finis bien définie. Je …
6
Les expressions régulières ne sont pas
Demandez même à une personne ayant une formation en informatique ce qu’est une expression régulière et la réponse ira probablement au-delà de la contrainte d’être à la portée d’un automate à états finis. Par exemple, l'expression «expression régulière» /^1?$|^(11+?)\1+$/ créé par une personnalité notée de Perl, Abigail (et faisant partie …
4
Existe-t-il de «petites» machines capables de faire correspondre efficacement les expressions régulières?
Il est bien connu qu'une expression régulière peut être reconnue par un automate fini non déterministe de taille proportionnelle à l'expression régulière, ou par une FA déterministe qui est potentiellement exponentiellement plus grande. De plus, étant donné une chaîne et une expression régulière , la NFA peut tester l'appartenance en …
2
Numéro de partition du protocole et complexité déterministe de la communication
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 ( …
4
Où se situent la plupart des implémentations REGEX sur l'échelle de complexité?
La plupart des implémentations modernes d'expressions régulières, telles que celles en perl ou .NET, vont au-delà de la définition informatique classique des REGEX avec des fonctionnalités comme lookahead et lookbehind. Ces fonctionnalités leur permettent-elles d'analyser des instructions qui ne peuvent pas être décrites avec un automate fini et non pushdown? …
3
Un automate fini non déterministe (NDFA) peut-il être converti efficacement en automate fini déterministe (DFA) dans un espace / temps sous-exponentiel?
Il y a vingt ans, j'ai construit un package d'expressions régulières qui comprenait des conversions d'expressions régulières vers une machine à états finis (DFA) et pris en charge une multitude d'opérations d'expressions régulières fermées (Kleene star, concatenation, reverse, set operations, etc.). Je n'étais pas sûr des performances les plus défavorables …
3
Progrès sur le problème généralisé de la hauteur des étoiles?
La hauteur d'étoile (généralisée) d'une langue est l'imbrication minimale des étoiles de Kleene requise pour représenter la langue par une expression régulière étendue. Rappelons qu'une expression régulière étendue sur un alphabet fini satisfait ce qui suit:AAA (1) et a sont des expressions régulières étendues pour tout a ∈ A∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in …
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 …
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.