Code and Binaries

• Pre-release of Version 3.0 of Grail+
  
  Source code (compressed tar file, 2 Mb) This is a preview of Grail+ Version 3.0. It contains all the features of 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.



• Version 2.5 of Grail

  You can get the source code, man pages, and the .ps files for the User's Guide, the Programmer's Guide and the Release Notes. This file is .4 Mb compressed and 1.3 Mb uncompressed.

  We also provide pre-compiled binaries for ASCII character alphabets. These binaries are all under .5 Mb. The architectures we support include:

  • Sparc/SunOS 4.1
  • 80x86/DOS
  • RS6000/AIX

Grail+ documentation

Release Notes
Version 2.5 (March 1996)

Grail: Engineering Automata in C++
Version 2.5 (March 1996)

User's Guide to Grail
Version 2.5 (March 1996)

Programmer's Guide to Grail
Version 2.5 (March 1996)

Some research work

Grail: A C++ Library for Automata and Expressions
Journal of Symbolic Computation 17 p. 341-350 (1994)

Efficient Approaches to Subset Construction
Ted Leslie's M.Math thesis (1992)
See also the tar'd file of the postscript figures in Ted Leslie's M.Math thesis.