Als «regular-expressions» getaggte Fragen

Fragen zur Theorie der regulären Ausdrücke, sowohl im Sinne der ursprünglichen Definition von Kleene als auch der regulären Ausdrücke von POSIX.

4
Ist das Finden des regulären Mindestausdrucks ein NP-vollständiges Problem?
Ich denke an das folgende Problem: Ich möchte einen regulären Ausdruck finden, der einem bestimmten Satz von Zeichenfolgen entspricht (z. B. gültige E-Mail-Adressen) und nicht mit anderen übereinstimmt (ungültige E-Mail-Adressen). Nehmen wir an, wir meinen mit regulären Ausdrücken eine wohldefinierte endliche Zustandsmaschine, ich kenne die genaue Terminologie nicht, aber wir …
6
Reguläre Ausdrücke sind es nicht
Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von der bekannten Perl-Persönlichkeit Abigail (und Teil von Perls Testsuite …
4
Gibt es "kleine" Maschinen, die effizient mit regulären Ausdrücken übereinstimmen können?
Es ist bekannt, dass ein regulärer Ausdruck durch einen nicht deterministischen endlichen Automaten mit einer Größe proportional zum regulären Ausdruck oder durch einen deterministischen FA erkannt werden kann, der potenziell exponentiell größer ist. Darüber hinaus kann die NFA mit einem String und einem regulären Ausdruck r die Mitgliedschaft in einer …
2
Protokollpartitionsnummer und deterministische Kommunikationskomplexität
Neben der (deterministischen) Kommunikationskomplexität einer Beziehung R ist die Protokollpartitionsnummer p p ( R ) ein weiteres grundlegendes Maß für den Kommunikationsbedarf . Die Beziehung zwischen diesen beiden Maßen ist bis zu einem konstanten Faktor bekannt. Die Monographie von Kushilevitz und Nisan (1997) gibtcc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). …
4
Wo fallen die meisten REGEX Implementierungen von der Komplexität Skala?
Die meisten modernen Implementierungen von regulären Ausdrücken, wie die in Perl oder .NET, gehen mit Funktionen wie Lookahead und Lookbehind über die klassische computerwissenschaftliche Definition von REGEXes hinaus. Lassen diese Funktionen Anweisungen analysieren, die mit einem endlichen Nicht-Pushdown-Automaten nicht beschrieben werden können? Wie viel näher an Turing abgeschlossen wird dies …
3
Können nichtdeterministische endliche Automaten (NDFA) effizient in subexponentielle endliche Automaten (DFA) umgewandelt werden?
Vor 20 Jahren habe ich ein Paket für reguläre Ausdrücke erstellt, das Konvertierungen von regulären Ausdrücken in eine Finite-State-Maschine (DFA) enthielt, und eine Vielzahl von geschlossenen Operationen für reguläre Ausdrücke (Kleene-Stern, Verkettung, Umkehrung, Mengenoperationen usw.) unterstützt. Ich war mir nicht sicher über die schlechteste Leistung meines Pakets. Ein DFA hat …
2
Minimierung der Größe des regulären Ausdrucks für endliche Mengen
Es ist bekannt, dass die Minimierung der Größe eines regulären Ausdrucks PSPACE-vollständig ist, auch wenn wir einen DFA als Sprachspezifikation haben . Was sind die Ergebnisse, wenn die Sprache endlich ist? Man kann dieses Problem in zwei Modellen betrachten: Die Eingabe besteht aus allen Zeichenfolgen in der Sprache, und wir …
3
Fortschritte beim verallgemeinerten Sternhöhenproblem?
Die (verallgemeinerte) Sternhöhe einer Sprache ist die minimale Verschachtelung von Kleene-Sternen, die erforderlich ist, um die Sprache durch einen erweiterten regulären Ausdruck darzustellen. Denken Sie daran, dass ein erweiterter regulärer Ausdruck über ein endliches Alphabet die folgenden Bedingungen erfüllt:EINEINA (1) und sind erweiterte reguläre Ausdrücke für alle∅ , 1∅,1\emptyset, 1eineinaa …
4
Hierarchien in regulären Sprachen
Gibt es eine bekannte "nette" Hierarchie L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (kann endlich sein) innerhalb der Klasse der regulären Sprachen LLL ? Die Klassen in jeder Hierarchie zeichnen sich durch unterschiedliche Ausdruckskraft / Kraft / Komplexität aus. Außerdem wird die Zugehörigkeit zu jeder Klasse durch einige Elemente "gut" …
1
Parametrisierte Komplexität der Einbeziehung regulärer Sprachen
Ich interessiere mich für das klassische Problem REGELMÄSSIGE SPRACHEINKLUSION. Bei einem regulären Ausdruck bezeichnen wir mit L ( E ) die damit verbundene reguläre Sprache. (Reguläre Ausdrücke befinden sich in einem festen Alphabet Σ mit der Operations Union, dem Kleene-Stern und der Verkettung.)EEEL(E)L(E)L(E)ΣΣ\Sigma Eingabe: Zwei reguläre Ausdrücke und E 2 …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.