In contrast to many other automaton/regexp packages, this package is fast, compact, and implements real, unrestricted regular operations. It uses a symbolic representation based on intervals of Unicode characters.
The full source code and documentation is available under the BSD license.
- View the online javadoc API specifications. The central classes are Automaton and RegExp.
- Download the precompiled Java archive or get it from Maven Central Repository.
- Download the Java source code.
- Looking for ports to other languages? See David Lutterkort's libfa library for C and Nikos Baxevanis's Fare library for .NET/C#.
- The package is included in the Fedora Linux distribution.
- Got questions? See the FAQ.
The latest version 1.12-1 was released July 4, 2017. (ChangeLog)
The dk.brics.automaton package is developed
by Anders Møller at
Aarhus University, with
contributions, suggestions and bug reports from Alexandar Bakic, Jodi Moran, Brandon Lee,
David Lutterkort, John Gibson, Alex Meyer, Daniel Lowe, Harald Zauner,
Dawid Weiss, Robert Muir, Hans-Martin Adorf, Dale Richardson, Yannick Versley, Gustaf Lundh, Victor Berchet, Astrid Muriel Waindja Younang, Valentin Wüstholz, and Simon Gregersen.