Summary: finite-state C library

Description:
The library contains efficient implementations of all classical
automata/transducer algorithms: determinization, minimization,
epsilon-removal, composition, boolean operations. Also, more
advanced construction methods are available: context restriction,
quotients, first-order regular logic, transducers from replacement
rules, etc.

URL: https://foma.googlecode.com/
License: ASL 2.0

Maintainer: nobody