I am working on a project that involves the construction of
very large Finite State Machines (up to approximately 10^7 states). I
am looking for software that will allow me to efficiently manipulate
these beasts. Starting from an initial non-deterministic version, I
need to be able to find the deterministic and minimal equivalents.
The automata will be used as components of a machine translation
project.

The best I've been able to come up with so far is to modify
the various components of flex. However, this is still not really
fast enough, and flex has so many options and so little algorithmic
documentation that it is difficult to be sure that I'm not missing
important details.

I would greatly appreciate any pointers to either source code
or papers that describe systems designed to handle very large Finite
State Machines.