Download Grail+ Code, Binaries and Documentation

Code and Binaries
Documentation
Research work

Code and Binaries

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.


Top of page
Grail+ home page