dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
TAJS  |  Java String Analyzer  |  XSLT Validator  |  ServletValidator  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

dk.brics.automaton

automaton This Java package contains a DFA/NFA (finite-state automata) implementation with Unicode alphabet (UTF16) and support for the standard regular expression operations (concatenation, union, Kleene star) and a number of non-standard ones (intersection, complement, etc.)

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.

The latest version 1.11-2 was released August 6, 2009. (ChangeLog)
New versions are announced via freshmeat.

The dk.brics.automaton package is developed by Anders Møller at Aarhus University.