Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics

We develop a new derivative based theory and algorithm for nonbacktracking regex matching that supports anchors and counting, preserves backtracking semantics, and can be extended with lookarounds. The algorithm has been implemented as a new regex backend in .NET and was extensively tested as part o...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. PLDI; pp. 1026 - 1049
Main Authors:	Moseley, Dan, Nishio, Mario, Perez Rodriguez, Jose, Saarikivi, Olli, Toub, Stephen, Veanes, Margus, Wan, Tiki, Xu, Eric
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 06.06.2023
Subjects:	Computing methodologies Regular languages Symbolic and algebraic algorithms Theory of computation symbolic regex derivative PCRE automata matching
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!