FSA Utilities (Version 4)

Appeared in Volume 10/2, May 1997

Keywords: finite state machines.

The FSA Utilities toolbox is a collection of utilities to manipulate regular expressions, finite-state automata and finite-state transducers. Manipulations include automata construction from regular expresssions, determinization (both for finite-state acceptors and finite-state transducers), minimization, composition, complementation, intersection, Kleene closure, etc. Furthermore, various visualization tools are available to browse finite-state automata.

The package requires SICStus Prolog 3 #3 or 3 #5, and is known to work under HP UX (9.0.5) and Linux (1.2.13 Elf).

For more information, contact:

Gertjan van Noord
Email: vannoord@let.rug.nl
Tel: +31 50 363 5935
Fax: +31 50 363 6855
Web: http://www.let.rug.nl/~vannoord/FSA/fsa.html