This package contains functions for manipulating Finite-State Automata (FSAs).
It includes functions for minimizing and determinizing FSAs, computing FSA
intersections and unions, compiling a (non-POSIX) regular expression into an
FSA, and compiling a set of regular expression productions into a chart parser.