Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2007-08-04 (10:36)
From: Thomas Gazagnaire <thomas.gazagnaire@i...>
Subject: automata manipulation library ?

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.