A Toolbox to Manipulate Finite-state Automata

**Gertjan van Noord
Vakgroep Alfa-informatica & BCN
Rijksuniversiteit Groningen
**

This paper describes the *FSA Utilities* toolbox: a collection
of utilities to manipulate finite-state automata and finite-state
transducers. Manipulations include 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 toolbox is implemented in
SICStus Prolog.

- Introduction
- Representation
- Some examples
- Operations on Finite Automata
- Visualization of Automata
- A note on Implementation
- Bibliography
- About this document ...

1998-09-28