English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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.