Kann PCRE kontextsensitive Grammatiken wie {a^n b^n c^n; zuordnen?

Übereinstimmung kontextsensitiver Grammatiken mit PCRE: A^n B^n C^n (z. B. „aaabbbccc“)

Während regelmäßig Ausdrücke werden traditionell mit dem Parsen regulärer Grammatiken in Verbindung gebracht, moderne Implementierungen wie PCRE bieten erweiterte Funktionen. Dies wirft die Frage auf: Können wir PCRE verwenden, um komplexere, kontextsensitive Grammatiken zu analysieren?

Lassen Sie uns insbesondere die Herausforderung untersuchen, Zeichenfolgen nach der kontextsensitiven Grammatik {a^n b^n c^n; n > 0} (z. B. „aaabbbccc“).

Regex-Lösung:

Inspiriert durch den ersten Versuch von NullUserException haben wir den folgenden Regex entwickelt:

~^
(?=(a(?-1)?b)c)
a+(b(?-1)?c)
$~x

Erklärung:

• Der äußere Abschnitt ~^...$~ stellt sicher, dass die Zeichenfolge mit dem gewünschten Muster beginnt und endet.
• Innerhalb der Klammern , ~?(a(?-1)?b)c~ ist eine positive Lookahead-Behauptung, die prüft, ob eine gleiche Anzahl von as und bs vorhanden ist.
• ~a ~ stimmt mit einer beliebigen Anzahl von as überein.
• ~b(?-1)?c~ entspricht einer gleichen Anzahl von bs, gefolgt von cs.
• Das (?-) in (?-1) ermöglicht es uns, beliebige Sequenzen von as und bs damit abzugleichen erfüllen die Lookahead-Behauptung.

Testfälle:

Wir haben den regulären Ausdruck anhand verschiedener Eingaben getestet, darunter:

• "aabbcc " - Treffer erfolgreich
• "aaabbbccc" - Treffer erfolgreich
• "aaabbbcc" - Treffer fehlgeschlagen (richtig)
• "aaaccc" - Treffer fehlgeschlagen (richtig)
• „aabcc“ – keine Übereinstimmung (richtig)
• „abbcc“ – keine Übereinstimmung (richtig)

Schlussfolgerung:

Diese Regex demonstriert die bemerkenswerte Leistungsfähigkeit moderner regulärer Ausdrücke, die über reguläre Grammatiken hinausgehen und sogar kontextsensitive Grammatiken wie {a^n b^n c^n} abgleichen. Diese Fähigkeit, komplexere Muster zu analysieren, eröffnet neue Möglichkeiten für Regex-Anwendungen.

Das obige ist der detaillierte Inhalt vonKann PCRE kontextsensitive Grammatiken wie {a^n b^n c^n; zuordnen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!