Available C++ Libraries FAQ
Libraries available to download (D-L)
Grail - Symbolic computation with finite-state machines and regular expressionsSupports conversion of FSM to RE and back and also conversion to and from finite languages. Supports many algebraic operations on FSM and RE. All objects are templates, so you can parameterize FSM or RE to use any C++ class or base type as its alphabet type (hence, Mealy machines are supported by using ordered pairs as the alphabet type).
Added : 1996-05-22 Amended: 2008-07-29 Licensing : Education
Copyright (c) 2018 Nikki Locke, Trumphurst Ltd.
Permission is granted to distribute over the Internet without charge. The author's permission is required (and usually given) to distribute in any other way, including on CD.