A symbolic computation environment
for finite-state machines, regular expressions, and finite languages.
Download Pre-release of Grail+ Version 3.0 (compressed tar file, 2 Mb)
This is a preview of Grail+ Version 3.0. It contains all the featuresof Grail 2.5, but also supports alternating finite automata and is fully
commented. We are still working on documentation for 3.0, and fixing a
few bugs in the pre-release. Feel free to download this version now, or
check back for the official release of Grail+ Version 3.0.