* automata manipulation library ?
@ 2007-08-04 10:36 Thomas Gazagnaire
0 siblings, 0 replies; only message in thread
From: Thomas Gazagnaire @ 2007-08-04 10:36 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-08-04 10:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-08-04 10:36 automata manipulation library ? Thomas Gazagnaire
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).