FSA utilities: A toolbox to manipulate finite-state automata

  • Gertjan van Noord
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1260)


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.


Regular Expression Finite Automaton Prolog Constraint Standard Output Standard Input 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Berstel, Jean 1979. Transductions and Context-Free Languages. Teubner Studienbücher, Stuttgart.Google Scholar
  2. Brzozowski, J.A. 1962. Canonical regular expressions and minimal state graphs for definite events. In Mathematical theory of Automata. Polytechnic Press, Polytechnic Institute of Brooklyn, N.Y., pages 529–561. Volume 12 of MRI Symposia Series.Google Scholar
  3. Choffrut, Ch. 1977 Une caractérisation des fonctions séquentielles et des fonctions sous-séquentielles en tant que relations rationelles. Theoretical Computer Science 5, 325–338.Google Scholar
  4. Fröhlich, M. and M. Werner. 1994. The graph visualization system davinci — a user interface for applications. Technical Report 5/94, Department of Computer Science; University of Bremen. Available by anonymous ftp: ftp://ftp.UniBremen.DE/pub/graphics/daVinci/papers/; cf. also Scholar
  5. Hopcroft, John E. 1971. An n log n algorithm for minimizing the states in a finite automaton. In: Z. Kohavi, editors, The Theory of Machines and Computations. Academic Press, pages 189–196.Google Scholar
  6. Hopcroft, John E. and Jeffrey D. Ullman. 1979. Introduction to Automata Theory, Languages and Computation. Addison Wesley.Google Scholar
  7. Kaplan, Ronald M. and Martin Kay. 1994. Regular models of phonological rule systems. Computational Linguistics, 20(3):331–378.Google Scholar
  8. Lang, Bernard. 1989. A generative view of ill-formed input processing. In ATR Symposium on Basic Research for Telephone Interpretation (ASTI), Kyoto Japan.Google Scholar
  9. van Noord, Gertjan. 1995. The intersection of finite state automata and definite clause grammars. In 33th Annual Meeting of the Association for Computational Linguistics, MIT Boston. Available from Scholar
  10. Oerder, Martin and Hermann Ney. 1993. Word graphs: An efficient interface between continuous-speech recognition and language understanding. In ICASSP Volume 2, pages 119–122.Google Scholar
  11. Ousterhout, John K. 1994. Tcl and the Tk Toolkit. Addison Wesley.Google Scholar
  12. Pereira, Fernando C. N. and Michael D. Riley. 1996. Speech recognition by composition of weighted finite automata. Available as cmp-lg/9603001 from Scholar
  13. Roche, Emmanuel and Yves Schabes. 1995. Deterministic part-of-speech tagging with finite-state transducers. Computational Linguistics, 21(2).Google Scholar
  14. Sander, G. 1995. Graph layout through the VCG tool. In R. Tamassia and I.G. Tollis, editors, Graph Drawing, DIMACS International Workshop GD '94, Proceedings; Lecture Notes in Computer Science 894. Springer Verlag, pages 194–205. cf. also Scholar
  15. Voutilainen, Atro and Pasi Tapanainen. 1993. Ambiguity resolution in a reductionist parser. In Sixth Conference of the European Chapter of the Association for Computational Linguistics, Utrecht.Google Scholar
  16. Watson, Bruce W. 1995. Taxonomies and Toolkits of Regular Language Algorithms. Proefschrift Eindhoven University of Technology.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Gertjan van Noord
    • 1
  1. 1.Vakgroep Alfa-informatica & BCNRijksuniversiteit GroningenNetherlands

Personalised recommendations