Hello,

I am looking for a library to manipulate kind of " 'a automata" in 
ocaml, which provide usual function as membership function (val 
membership : 'a t -> 'a list -> bool), pretty printing function (to_dot 
: 'a t -> ('a -> string) -> string), epsilon-reduction and 
determinization procedure, etc ... as it is already the case for graph 
with ocamlgraph (event if the interface is not as easy as "'a graph" :)).

I searched google and ocaml's hump, but I did not found exactly what I want.

Thomas