Theory of Computing Software Server

• Grail: A Western University Project for symbolic computation environment for finite-state machines, regular expressions, and finite languages.
  • Latest stable version is 3.4.5.
    Latest changes are:
    
    
    • Bug fixes.
    • Several fixes after system crash and recovery.
    • 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 Grail-3.4.5 (IA32 bit) Grail-3.5A64 (ARM 64bit) pre-installed -- Out of the Box Grail+ system.
• miniGrail: an UPEI Project for symbolic computation environment for finite-state 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 finite-state machines, regular expressions, and finite languages.
  • Latest stable version 0.2.4.
    Latest changes are:
    
    • Support for both Grail+ and MiniGrail back-engine
    • 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