We developed a package for generalized nondeterministic automata. This package is based on Grail. We ported Grail to Linux, and the generalized NFAs (or, *-NFAs) were incorporated into Grail. We also added a graphical user interface. This interface is based on LEDA, when LEDA was still freely available as an academic package. Unfortunately, LEDA has been commercialized, and must now be purchased. Hence, one needs Grail (freely available) and LEDA (to be purchased) in order to use the MERLin software.
The package was designed to provide a Modelling Environment for Regular Languages (hence MERLin). The interface allows the setup of experiments of large sets of finite automata, which can be randomly generated. The system can also run on a Beowulf cluster, in the case where the experiment becomes prohibitively large.
An alpha version of the Merlin project is available for downloading here. The documentation is also separately available here.
We also provide local copies of some other automata packages:The Grail package, from the University of Waterloo:
Amore:
Bruce Watson's Fire engine: