Re-examining regular expressions with backreferences

Most modern regular expression matching libraries (one of the rare exceptions being Google's RE2) allow backreferences, operations which bind a substring to a variable, allowing it to be matched again verbatim. However, both real-world implementations and definitions in the literature use diffe...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 940; S. 66 - 80
Hauptverfasser: Berglund, Martin, van der Merwe, Brink
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 09.01.2023
Schlagworte:
Backreferences
Regular expressions
Regular expressions
Backreferences
ISSN:0304-3975, 1879-2294, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Most modern regular expression matching libraries (one of the rare exceptions being Google's RE2) allow backreferences, operations which bind a substring to a variable, allowing it to be matched again verbatim. However, both real-world implementations and definitions in the literature use different syntactic restrictions and have differences in the semantics of the matching of backreferences. Our aim is to compare these various flavors by considering the classes of formal languages that each can describe, establishing, as a result, a hierarchy of language classes. Beyond the hierarchy itself, some complexity results are given, and as part of the effort on comparing language classes new pumping lemmas are established, old classes are extended to new ones, and several incidental results on the nature of these language classes are given.
ISSN:0304-3975
1879-2294
1879-2294
DOI:10.1016/j.tcs.2022.10.041