Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Timbuk a tree automata library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Thomas Genet <genet@i...>
Subject: [Caml-list] Timbuk a tree automata library




-------------------       TIMBUK            --------------------
------------------- A Tree Automata Library --------------------

                   (for Objective Caml 3.00)


can be found here

http://www.irisa.fr/lande/genet/timbuk/ 


This library offers basic functions on Bottom-up Non-Deterministic
Tree Automata:
    
    - boolean operations: intersection, union, inversion, etc...
    - emptyness decision,
    - cleaning, renaming,
    - determinisation,	
    - 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.


-- 
Thomas Genet - IFSIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +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