Abstract:Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lockstep construction and a machine that performs some operations in parallel, suitable for implementation on a large number of cores, such as a GPU. We formalize the parallel machine using process algebra and report some preliminary experiments with an implementation on a graphics processor using CUDA.

Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds

Derivatives for Enhanced Regular Expressions

Constrained Expressions and their Derivatives

Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time

On the Iterated Hairpin Completion

Monadic Expressions and Their Derivatives

Regular Expression Matching and Operational Semantics

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular

On the Hairpin Incompletion

LL(1) Parsing with Derivatives and Zippers

Symbolic Solving of Extended Regular Expression Inequalities

Iterated Hairpin Completions of Non-crossing Words

On P-Derivations And P-Jordan Derivations Of A Ring

Constructing Deterministic Parity Automata from Positive and Negative Examples

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes

Efficient Construction of Reversible Transducers from Regular Transducer Expressions

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars

Derived-Term Automata of Multitape Rational Expressions (Long version)