You are here

Fsm: state merging and more in OCaml

fsm provides an OCaML library which implements several functions for finite state machines. Currently only finite state acceptors are implemented. Modules for weighted finite state acceptors and transducers are in the works. Functions implemented for finite state acceptors include minimization, determinization, concatenation, union, intersection, state-merging learning algorithms with various state-equivalence criteria, prefix and suffix tree construction, etc.

The source can be downloaded here.