next up previous
Next: Introduction

FSA Utilities:
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.

Noord G.J.M. van