Auteur : Alexis Darrasse (Spiral/CalSci/LIP6/UPMC)

Titre: Applications de la génération boltzmannienne aux structures
arborescentes

Le modèle de Boltzmann, introduit récemment, permet la construction
automatique de générateurs efficaces de structures aléatoires à partir
de la grammaire qui les spécifie.  De plus plusieurs optimisations pour
des classes particulières ont été proposées.  Nous nous interessons ici
aux familles simples d'arbres, définies à partir des opérations somme,
produit et plus petit point fixe, qui sont à la base de nombreuses
descriptions structurelles.  Nous présentons en particulier un prototype
qui permet de générer des documents XML conformes à une grammaire donnée
et envisageons d'autres applications, comme la génération de données
aléatoires d'un type arborescent dans un langage fonctionnel comme
O'Caml.