Version française
Home     About     Download     Resources     Contact us    
Browse thread
automata manipulation library ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Thomas Gazagnaire <thomas.gazagnaire@i...>
Subject: automata manipulation library ?
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