Department of Computer Science,
University of Prince Edward Island, Canada
Theory of Computing Software Server
Projects hosted at SMCS@UPEI:

Grail: A Western University Project for
symbolic computation environment for finitestate machines, regular expressions, and finite languages.

Grail Information and Documentation
 Latest stable version is
3.4.4.
Latest changes are:

New feature added for using Grail+ as a library:
Namespace grail has been created to allow including
functions with similar names from other packages along with Grail ones.
 On some systems, math library is not in the default path
and the default Makefile provided
may not work; in that case you should run makeMakefile to fix it.
 Fix other compiling issues on various systems.
 Added new operators
 dis operator
 suffix and prefix operator.
Cosmetic fix in main function(version information, cerr/cout separation)
Permanent bug fix for concatenation
Added new filters for combined operations

 fmunionsize : gives only the size of the fm recognizing the union of two fm's

 fmunionrsize : gives only the size of the reduced fm for the union of two fm's

 fmunionrsize : gives only the size of the minimized fm for the union of two fm's

 fmcatsize : gives only the size of the fm recognizing the concatenation of two fm's

 fmcatrsize : gives only the size of the reduced fm for the concatenation of two fm's

 fmcatmsize : gives only the size of the minimized fm for the concatenation of two fm's
 nfmtofcm : transforms a nondeterministic finite automaton
recognizing a finite language to a minimal DFCA using subset construction and
Körner/Goeman minimization algorithm

Virtual Machines with Grail3.4.4 preinstalled  Out of the Box Grail+ system.
 miniGrail: an UPEI Project for
symbolic computation environment for finitestate machines, regular expressions, and finite languages; a GPL Grail clone.
 Latest stable version is 0.1
 LISA: an UPEI Project for
a programming language specially design for symbolic computation for
finitestate machines, regular expressions, and finite languages.
 Latest stable version
0.2.4.
Latest changes are:
 Support for both Grail+ and MiniGrail backengine
 Improved memory management
 Improved coercions and type checking
 JGrail: an UPEI Project for
a Grail+ GUI.
 Latest stable version is
1.3
Last version freeze 1.3
Last modified:Thursday October 26, 2017 at 12:49 am ADT
Cezar Câmpeanu