FSA Utilities: A Toolbox to Manipulate Finite-state Automata (1997)
by
Gertjan Van Noord
,
Rijksuniversiteit Groningen
| Venue: | Automata Implementation |
| Citations: | 20 - 3 self |
BibTeX
@INPROCEEDINGS{Noord97fsautilities:,
author = {Gertjan Van Noord and Rijksuniversiteit Groningen},
title = {FSA Utilities: A Toolbox to Manipulate Finite-state Automata},
booktitle = {Automata Implementation},
year = {1997},
pages = {87--108},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
