Grail: A C++ Library for Automata and Expressions

Grail is a package for symbolic manipulation of finite-state automata and regular expressions. It provides most standard operations on automata and expressions, including minimization, subset construction, conversion between automata and regular expressions, and language enumeration and testing. Grail ʹs objects are parameterizable; users can provide their own classes to define the input alphabet of automata and expressions. Grailʹs operations are accessible either as individual programs or directly through a C++ class library.