dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time. It can, additionally, do set operations (union, intersection, and difference).
"Regular expressions" are a mathematically-defined concept, invented by Stephen Kleene in 1956. In the most minimalistic (and original) version these expressions define languages using just literal characters, alternation ("|") and repetition ("*"). They have well-understood properties; centrally, they can be matched against text using another well-understood abstract device, a Definite Finite Automaton (DFA). DFA have the important property of running on arbitrary text of length n in O(n) time and using O(1) space. Presented with a regular expression and a candidate text, a DFA decides whether the text matches the expression.
Some years later, regular expressions entered actual usage in the UNIX world, when Ken Thompson included them as a feature in the editor QED. After that, they became a standard language in the world of UNIX, appearing in a variety of programs, notably the still-used grep tool.
Circa 1994, Henry Spencer wrote a grep implementation that used a Non-Deterministic Finite Automaton (NFA). Using NFA simplifies the compilation of expressions (that is, building the automata) at the cost of complicating the execution. More relevant, NFA-based (more precisely, recursive backtracking) makes it easy to add new features (many of which are impossible to do with a state-machine (DFA) based implementation). And that's precisely what started to happen when the library was used to implement regular expressions in Perl 5 in 1994.
After the release of Perl 5, the extended feature-set was quickly embraced by users, and Perl-style regular expression implementations became part of the standard libraries of essentially all popular programming languages (with the notable exception of Go) and also standard infrastructure components, like the Apache and Nginx web servers.
As mentioned, Perl-style expressions don't give any execution time guarantee. On the other hand, there are some features of Perl regular expressions that are impossible to express in a DFA, most notable backreferences (i.e., forcing to match the same text more than once). There are also some other features that, albeit not infeasible, complicate a DFA solution significantly, like search and capturing groups.
Regular expressions were born as a very specific tool and, almost as an accident, grew to one of the most versatile (and abused) tools in the world of software. There is, however, a fundamental trade-off between the two prototypical implementations, which is usually ignored. Unbounded execution time is undesirable for many (if not all) interactive uses, as problems can happen whether either the regular expression or the text are supplied by the user. As example see:
For cases when advanced Perl-style features are not needed, and predictable performance is desired, using DFA-based matching is usually a compelling alternative, unfortunately made difficult by the scarcity of proper implementations in most languages. dregex offers an alternative for the Java ecosystem.
Unless specified, the regular expression flavor supported attempts to be compatible with the Java flavor.
- Literals
- Escaped characters
- Standard regular language constructs:
|,?,*and+, and parenthesis grouping. - General quantifiers:
{n},{n,m},{n,} - Dot wildcards
- Simple character classes:
[abc] - Simple negated character classes:
[^abc] - Ranges in character classes:
[a-z] - Special character classes, including negated versions:
\w,\s,\d,\W,\S,\D - POSIX character classes (using the syntax and definition of java.util.regex.Pattern), e.g.,
\p{Lower},\p{Punct},\P{Lower} - Unicode character classes (using the syntax and definition of java.util.regex.Pattern):
- Blocks, e.g.,
\p{InGreek},\p{block=Greek},\p{blk=Greek} - Scripts, e.g.,
\p{IsLatin},\p{script=Latin},\p{sc=Latin} - General categories, e.g.,
\p{Lu},\p{IsLu},\p{general_category=Lu},\p{gc=Lu} - Binary properties, e.g.,
\p{IsAlphabetic}
- Blocks, e.g.,
- Java-defined character classes (using the syntax and definition of java.util.regex.Pattern), e.g.,
\p{javaLowerCase},\p{javaWhitespace} - Special character classes inside regular character classes:
[\d\s],[\D] - Unicode line breaks:
\R - Block quotes:
\Q...\E - Lookaround (lookahead and lookbehind; both positive and negative) (see note below)
With one exception, all compile flags defined by java.util.regex.Pattern are supported, including in embedded form:
- LITERAL
- COMMENTS (also in embedded form:
(?x)). Note: The flag intentionally behaves ignoring exactly the same set of white space characters as the standard Java implementation, that is, only ASCII white space, not Unicode. - DOTALL (also in embedded form:
(?s)) - UNIX_LINES (also in embedded form:
(?d)) - UNICODE_CHARACTER_CLASS (also in embedded form:
(?U)) - CASE_INSENSITIVE (also in embedded form:
(?i)) - UNICODE_CASE (also in embedded form:
(?u)) - CANON_EQ
- Searching (the engine matches only against the full input string)
- Capturing groups
- Backreferences
- Anchors (
ˆand$), as they are redundant, as the expressions only operate over the complete text. - Reluctant (
+?,*?,??,{...}?) and possessive (++,*+,?+,{...}+) quantifiers , because they are meaningless for a pure-matching engine, as they, by definition, only affect capturing groups, not whether the expressions match or not. - Compile flag MULTILINE, because it is meaningless for a pure-matching engine, that works always in multi-line mode.
Note: for the sake of safety, the presence of unsupported features in a regular expression will cause it to fail to compile (except for unnamed capturing groups, as they have no syntax: they are just a pair of parenthesis).
On top of regular matching, dregex fully supports set operations of regular expressions. Set operations work on regular expressions themselves, that is, they don't involve strings.
It possible to do union, intersection and difference:
List<Regex> regexes = Regex.compile(List.of("[a-z]+", "[A-Z]+", "[a-z]+|[A-Z]+"));
Regex lower = regexes.get(0);
Regex upper = regexes.get(1);
Regex both = regexes.get(2);
System.out.println(lower.doIntersect(upper)); // false
System.out.println(both.equiv(lower.union(upper))); // trueList<Regex> regexes = Regex.compile(List.of("[a-z]+|[A-Z]+", "[A-Z]+"));
Regex all = regexes.get(0);
Regex upper = regexes.get(1);
Regex lower = all.diff(upper);
System.out.println(lower.matches("aaa")); // true
System.out.println(lower.matches("Aaa")); // falseThe motivating use case was detecting non-intersecting expressions. Once it can be established that a set of expressions don't intersect (that they are disjoint) it becomes possible to short-circuit evaluations. Moreover, they can be tested in any order, so it becomes possible to reorder based on matching stats. This can be especially important in cases when there is a matching of several expressions in a performance-critical path—load balancers being a prototypical example.
Lookaround constructions are transformed into an equivalent DFA operation, and the result of it trivially transformed into a NFA again for insertion into the outer expression:
Lookahead:
(?=B)C→C ∩ B.*(?!B)C→C - B.*
Lookbehind:
A(?<=B)→A ∩ .*BA(?<!B)→A - .*B
In the case of more than one lookaround, the transformation is applied recursively.
Lookaround expressions are supported anywhere in the regex, including inside repetition constructions. Nevertheless, there is a difference in the meaning of those lookarounds with respect to Perl-like engines. Consider:
((?!aa)a)+
This expression matches, in this engine, a, aa, aaa and so on, being effectively equivalent to a+, because the negative condition (aa) can never happen inside a. The fact that the expression is repeated does not change its inner logic. However, in Perl-like engines, the aforementioned regex does not match any a longer than one character, because those engines treat lookarounds specially, effectively running a sub-regex at the point of occurrence, irrespective of the context.
The different behavior of this engine is, of course, a direct consequence of the way lookarounds are implemented. Nevertheless, it can be argued that this definition is conceptually simpler and, more importantly, easier to reason about in the context of complex expression. Regarding practical uses, looped lookarounds like the one in the example are quite rare anyway.
The library parses the regular expressions and builds a NFA (Nondeterministic Finite Automaton) using a variation of the Thompson algorithm. Then uses the "powerset construction" to build a DFA (Deterministic Finite Automaton). One the DFA is built, the matching algorithm is straightforward.
Character classes are expanded as disjunctions before NFA creation. However, because of the number of possible Unicode code points, internaly, non-overlapping code point intervals are used to avoid disjunctions with too many alternatives.
[abc]→[a-c][^efg]→[0-d]|[h-MAX]mno[^efg]→mno(0-d|h-l|m|n|o|p-MAX).→[0-MAX]
Intersections, unions and differences between regex are done using the "product construction". The following pages include graphical explanations of this technique:
This is a relatively straightforward algorithm that is implemented using the already generated DFA.
dregex requires Java 11.
The library uses SLF4J for logging, which is the most widely used pluggable logging framework in Java. As a policy, all logging event emitted are at TRACE level, which is below the default threshold in most logging implementations and thus completely silent by default.
There are two small dependencies: SLF4J and jparsec. The main jar file is about 200 KB.
- RE2 is an efficient (linear) C++ library that implements a subset of Perl features, writen by Russ Cox. The author has written a set of articles explaining the problem.
- TRE is an efficient C library and command-line tool that implements POSIX-compliant and approximate (fuzzy) regex matching, using "tagged DFA". It is written by Ville Laurikari.
- Plan 9 grep is an efficient DFA implementation that supports egrep syntax. It was written by Ken Thompson.
- regex-tdfa is a "tagged DFA" implementation written in Haskell by Chris Kuklewicz.