From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA19903; Fri, 2 Mar 2001 11:54:41 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA20193 for caml-list@pauillac.inria.fr; Fri, 2 Mar 2001 11:54:40 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA19317 for ; Fri, 2 Mar 2001 11:25:16 +0100 (MET) Received: from terre.irisa.fr (terre.irisa.fr [131.254.60.118]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f22APF923677 for ; Fri, 2 Mar 2001 11:25:15 +0100 (MET) Received: from optimist.irisa.fr (optimist.irisa.fr [131.254.60.164]) by terre.irisa.fr (8.9.3/8.9.3) with ESMTP id LAA01587 for ; Fri, 2 Mar 2001 11:25:15 +0100 (MET) From: Thomas Genet MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Message-ID: <15007.29963.87009.983816@optimist.irisa.fr> Date: Fri, 2 Mar 2001 11:25:15 +0100 (CET) To: caml-list@inria.fr Subject: [Caml-list] Timbuk a tree automata library X-Mailer: VM 6.72 under 21.1 (patch 12) "Channel Islands" XEmacs Lucid Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk ------------------- TIMBUK -------------------- ------------------- A Tree Automata Library -------------------- (for Objective Caml 3.00) can be found here http://www.irisa.fr/lande/genet/timbuk/=20 This library offers basic functions on Bottom-up Non-Deterministic Tree Automata: =20 - boolean operations: intersection, union, inversion, etc... - emptyness decision, - cleaning, renaming, - determinisation,=09 - parsing, pretty printing, - writing complete specifications or computed automata to disk - normalisation of transitions - and some more such as completion w.r.t. TRSs etc. and can be used both for compiling ocaml programs with tree automata functionnalities or at the top level of ocaml to interactively perform boolean operations (etc) on tree automata. --=20 Thomas Genet - IFSIC/IRISA Campus de Beaulieu, 35042 Rennes cedex, France T=E9l: +33 (0) 2 99 84 73 44 E-mail: genet@irisa.fr ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr