## Section: Software

Keywords : Multiplicity tree automata, unranked trees.

### PICCATA

Participants : Edouard Gilbert [ correspondent ] , Feriel Lahlali, Marc Tommasi.

PICCATA:
*Programming Interface for effiCient Computations and Approximation on multiplicity Tree Automata* .

Piccata is a programming interface for managing multiplicity tree automata, i.e. tree automata with weights. The current version focus on real-valued automata. The model is the one introduced by [30] . Piccata takes advantage of the vector space structure using existing linear algebra library. The library allows to deal with ranked and unranked trees. Piccata is developed in collaboration with colleagues from the lif in Marseille. The library will also include inference algorithms for weighted tree automata. The dees algorithm [34] is currently implemented.